Fiedzia / type-system-research

Related projects ⓘ

Alternatives and complementary repositories for type-system-research

• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• mkremins / flense-nw
  Clojure code editor wrapping Flense
  ☆22Updated 9 years ago
• itang / lein-checkall
  lein check && lein kibit && lein eastwood && lein bikeshed
  ☆14Updated 11 years ago
• russolsen / cloforth
  A little Forth-like language implemented in Clojure
  ☆21Updated 4 years ago
• shaunxcode / clojurescript-ecosystem
  an index of clojurescript libraries
  ☆67Updated 11 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 8 years ago
• daveyarwood / boot-kotlin
  Boot tasks for Kotlin development
  ☆9Updated 6 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• joladev / wordsmith
  ☆40Updated 6 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• frenchy64 / stream-fusion
  ☆11Updated 9 years ago
• verma / pani
  Idiomatic Clojure/ClojureScript library for Firebase
  ☆36Updated 9 years ago
• tonsky / openshift-clojure
  Clojure/lein openshift cartridge template
  ☆26Updated 9 years ago
• lhartikk / ClojureREPL
  Clojure instaREPL for web
  ☆39Updated 7 years ago
• jwiegley / haskell-config
  My haskell-mode configuration for Emacs
  ☆19Updated 2 years ago
• bhauman / javascript_yome_widget
  A JavaScript Yome widget written for a blog post.
  ☆14Updated 9 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 8 years ago
• swannodette / mies-om
  Less is More template for Om
  ☆53Updated 9 years ago
• SparkFund / sails-forth
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Updated 4 years ago
• technomancy / super-explorer
  2D tile exploring game
  ☆12Updated 9 years ago
• whamtet / redlobster
  ClojureScript promises for Node
  ☆50Updated 5 years ago
• jbester / cljext
  Clojure Extended Library
  ☆22Updated 7 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• brandonbloom / ambiparse
  Parsing with "disambiguation filters" in Clojure
  ☆22Updated 7 years ago
• typedclojure / screencasts
  Typed Clojure screencasts
  ☆9Updated 9 years ago
• kissaten / cljs-nodejs-example
  ☆13Updated 9 years ago
• mfikes / cljsrn-desktop
  React Native for OS X
  ☆54Updated 9 years ago
• danboykis / monads-in-clojure
  Konrad Hinsen's OnClojure.com tutorial
  ☆18Updated 7 years ago
• brandonbloom / factjor
  A Factor-inspired, concatenative DSL for Clojure
  ☆97Updated 11 years ago