halgari / async-mu-kanren
A POC implementation of muKanren using CSP (core.async)
☆31Updated 10 years ago
Related projects: ⓘ
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- ☆15Updated this week
- The metacircular evaluator(ish)☆16Updated 9 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Updated 11 years ago
- ☆26Updated this week
- lein check && lein kibit && lein eastwood && lein bikeshed☆14Updated 11 years ago
- ☆11Updated 9 years ago
- Clojure macros for decorating functions☆25Updated 8 years ago
- A declarative DSL for reading and writing binary file formats in Clojure.☆52Updated 13 years ago
- clojure + datalog = <3☆138Updated 4 years ago
- mixfix syntax for clojure☆52Updated 8 years ago
- contrib.datalog brought back to life☆53Updated 10 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- Sequence Expressions☆138Updated 6 years ago
- Mirror of core.typed for internal development.☆14Updated 5 years ago
- Experimental typed JVM Lisp inspired by Clojure☆32Updated 6 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 5 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- A Terra-backed ClojureScript compiler☆86Updated 9 years ago
- A pure dataflow aka reactive library for building Clojure or ClojureScript models that run by themselves (like Rube Goldberg Machines). I…☆22Updated 8 years ago
- a numerical computing library for Clojure☆22Updated 6 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- [ABANDONED] An optimizing Clojure compiler☆125Updated 8 years ago
- Leiningen plugin for Typed Clojure☆82Updated 5 years ago
- A Clojure AST transformation library☆39Updated 11 years ago
- whole-program transformations in clojure☆98Updated 7 years ago
- A demo for Automatic Annotation inference for Typed Clojure☆22Updated 8 years ago
- Specter paths for working with formatted EDN and Clojure code☆16Updated 7 years ago
- A JDBC driver for SQLingvo☆16Updated 4 months ago