Fiedzia / type-system-research
Links to type system research materials
☆10Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for type-system-research
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- lein check && lein kibit && lein eastwood && lein bikeshed☆14Updated 11 years ago
- A little Forth-like language implemented in Clojure☆21Updated 4 years ago
- an index of clojurescript libraries☆67Updated 11 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- Boot tasks for Kotlin development☆9Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- ☆40Updated 6 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- ☆11Updated 9 years ago
- Idiomatic Clojure/ClojureScript library for Firebase☆36Updated 9 years ago
- Clojure/lein openshift cartridge template☆26Updated 9 years ago
- Clojure instaREPL for web☆39Updated 7 years ago
- My haskell-mode configuration for Emacs☆19Updated 2 years ago
- A JavaScript Yome widget written for a blog post.☆14Updated 9 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 8 years ago
- Less is More template for Om☆53Updated 9 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Updated 4 years ago
- 2D tile exploring game☆12Updated 9 years ago
- ClojureScript promises for Node☆50Updated 5 years ago
- Clojure Extended Library☆22Updated 7 years ago
- ☆11Updated 9 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- Typed Clojure screencasts☆9Updated 9 years ago
- ☆13Updated 9 years ago
- React Native for OS X☆54Updated 9 years ago
- Konrad Hinsen's OnClojure.com tutorial☆18Updated 7 years ago
- A Factor-inspired, concatenative DSL for Clojure☆97Updated 11 years ago