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 Python client for nREPL, the Clojure network REPL☆49Updated 9 years ago
- Unification library☆151Updated 3 months ago
- Experimental typed JVM Lisp inspired by Clojure☆34Updated last month
- Contracts programming☆128Updated 3 months ago
- A compiler from Clojure to Go.☆50Updated 11 years ago
- Compile kotlin files from Leiningen☆19Updated 7 years ago
- LFE Flavor package☆42Updated 4 years ago
- The source code translations from The Reasoned Schemer to Clojure core.logic☆14Updated 6 years ago
- rebar3 Clojerl compiler plugin☆27Updated 4 years ago
- DEPRECATED - See:☆61Updated 9 years ago
- A command line tool for edn processing and pretty printing☆90Updated 9 years ago
- A Lisp on the Erlang VM☆120Updated 7 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 11 years ago
- Leiningen plugin for Typed Clojure☆82Updated 6 years ago
- Clojure bindings for ØMQ☆104Updated 7 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- ☆266Updated 12 years ago
- A Clojure Virtual Maschine written in Rust☆20Updated 7 years ago
- Clojure API for Erlang/OTP Communications (built on jiface)☆68Updated last month
- A Clojure-idiomatic wrapper around Erlang's JInterface☆27Updated last month
- Beginners friendly Clojure REPL☆45Updated 6 years ago
- Clojure VM written in C with advanced GC☆73Updated 7 years ago
- Benchmark programs in Clojure, Java, and several other languages, for performance comparison☆71Updated 4 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- Expanding support for constant-space tail calls in the Clojure language.☆174Updated 11 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- Konrad Hinsen's OnClojure.com tutorial☆18Updated 8 years ago
- Sorry about the name☆217Updated 6 years ago
- Generic versions of commonly used functions, implemented as multimethods that can be implemented for any data type☆95Updated 3 months ago