typedclojure / esop16Links
Code to accompany ESOP 2016 paper
☆12Updated 9 years ago
Alternatives and similar repositories for esop16
Users that are interested in esop16 are comparing it to the libraries listed below
Sorting:
- #lang clojure☆125Updated 10 years ago
- A compiler from Clojure to Go.☆50Updated 11 years ago
- A literate clojure implementation of microKanren☆68Updated 6 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 11 years ago
- Unification library☆151Updated 4 months ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Experimental typed JVM Lisp inspired by Clojure☆34Updated 2 months ago
- The metacircular evaluator(ish)☆17Updated 10 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- Expanding support for constant-space tail calls in the Clojure language.☆174Updated 11 years ago
- Contracts programming☆128Updated 4 months ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- yet another monad lib for clojure☆94Updated 7 years ago
- Compile kotlin files from Leiningen☆19Updated 7 years ago
- Logic programming API for testing web applications using clj-webdriver☆68Updated 12 years ago
- Clojure bindings for ØMQ☆104Updated 7 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- Konrad Hinsen's OnClojure.com tutorial☆18Updated 8 years ago
- A Python client for nREPL, the Clojure network REPL☆50Updated 9 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- The source code translations from The Reasoned Schemer to Clojure core.logic☆14Updated 7 years ago
- Benchmark programs in Clojure, Java, and several other languages, for performance comparison☆71Updated 4 years ago
- Dhall to and from Clojure☆75Updated 6 years ago
- Leiningen plugin for Typed Clojure☆83Updated 6 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆95Updated 6 years ago
- ☆266Updated 12 years ago
- Magic fairy dust for pixie, i.e. tooling around the language.☆94Updated 9 years ago
- Clojure reader in Clojure☆211Updated 4 months ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆157Updated last year
- An implementation of Hindley-Milner in Clojure.☆168Updated 11 years ago