Fiedzia / type-system-research
Links to type system research materials
☆10Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for type-system-research
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- A JavaScript Yome widget written for a blog post.☆14Updated 9 years ago
- A Factor-inspired, concatenative DSL for Clojure☆97Updated 11 years ago
- lein check && lein kibit && lein eastwood && lein bikeshed☆14Updated 11 years ago
- Clojure instaREPL for web☆39Updated 7 years ago
- A protocol based monad implementation for clojure☆62Updated 10 years ago
- Idiomatic Clojure/ClojureScript library for Firebase☆36Updated 9 years ago
- A little Forth-like language implemented in Clojure☆21Updated 4 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 10 years ago
- Functional reactive todo lists☆81Updated 11 years ago
- Example project using ClojureScript and Firebase for a realtime chat.☆9Updated 9 years ago
- Simple hlisp project setup.☆41Updated 11 years ago
- ☆11Updated 9 years ago
- The repository for the zine☆30Updated 9 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- Simple, extensible bytecode interpreter☆26Updated 9 years ago
- React Native for OS X☆54Updated 8 years ago
- yet another monad lib for clojure☆93Updated 6 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Clojure Extended Library☆22Updated 7 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 7 years ago
- A detailed review of Super Mario World written in Clojure(Script)☆37Updated 10 months ago
- almost, but not quite, entirely unlike core.async☆18Updated 6 years ago
- Support Frege compiler via leiningen☆33Updated 8 years ago
- Konrad Hinsen's OnClojure.com tutorial☆18Updated 7 years ago
- Pump your REACTive app with fuel☆75Updated 10 years ago