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 Clojure-idiomatic wrapper around Erlang's JInterface☆27Updated 4 months ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 9 years ago
- A POC implementation of muKanren using CSP (core.async)☆31Updated 11 years ago
- Unification library☆151Updated 6 months ago
- Clojure API for Erlang/OTP Communications (built on jiface)☆68Updated 4 months ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 11 years ago
- Contracts programming☆128Updated 6 months ago
- rebar3 Clojerl compiler plugin☆27Updated 4 years ago
- DEPRECATED - See:☆61Updated 9 years 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 4 months ago
- Expanding support for constant-space tail calls in the Clojure language.☆173Updated 12 years ago
- A Lisp on the Erlang VM☆120Updated 7 years ago
- A Python client for nREPL, the Clojure network REPL☆51Updated 9 years ago
- Clojure bindings for ØMQ☆104Updated 8 years ago
- LFE Flavor package☆42Updated 4 years ago
- Beginners friendly Clojure REPL☆45Updated 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 7 years ago
- A literate clojure implementation of microKanren☆68Updated 6 years ago
- Logic programming API for testing web applications using clj-webdriver☆67Updated 12 years ago
- A command line tool for edn processing and pretty printing☆90Updated 9 years ago
- Very simple web application using cowboy☆19Updated 2 years ago
- Benchmark programs in Clojure, Java, and several other languages, for performance comparison☆71Updated 5 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 10 years ago
- Akka wrapper for the Clojure programming language.☆141Updated 9 years ago
- The source code translations from The Reasoned Schemer to Clojure core.logic☆14Updated 7 years ago
- DEPRECATED (use lfex/lanes instead)☆37Updated 6 years ago