halgari / async-mu-kanren
A POC implementation of muKanren using CSP (core.async)
☆31Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for async-mu-kanren
- The metacircular evaluator(ish)☆16Updated 9 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 7 years ago
- lein check && lein kibit && lein eastwood && lein bikeshed☆14Updated 11 years ago
- Clojure macros for decorating functions☆25Updated 9 years ago
- Sequence Expressions☆138Updated 6 years ago
- Explorations in durable persistent datastructures for Clojure.☆23Updated 7 years ago
- whole-program transformations in clojure☆98Updated 7 years ago
- Leiningen plugin for Typed Clojure☆82Updated 5 years ago
- contrib.datalog brought back to life☆53Updated 10 years ago
- Experimental typed JVM Lisp inspired by Clojure☆32Updated 6 years ago
- Extensible Clojure☆106Updated 8 years ago
- A statically typed, functional Lisp, building upon Clojure☆78Updated 7 years ago
- A demo for Automatic Annotation inference for Typed Clojure☆22Updated 8 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- clojure + datalog = <3☆139Updated 4 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Updated 11 years ago
- Planning Network Visualization☆14Updated 2 years ago
- A Terra-backed ClojureScript compiler☆87Updated 9 years ago
- mixfix syntax for clojure☆53Updated 9 years ago
- ☆11Updated 9 years ago
- Specter paths for working with formatted EDN and Clojure code☆16Updated 7 years ago
- Mirror of core.typed for internal development.☆14Updated 6 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- Continuation Passing Style macro compiler for Clojure☆59Updated 7 years ago
- Exploration of Hash Array Mapped Tries.☆40Updated 2 months ago
- A persistent confluent map for Clojure☆39Updated 8 years ago
- Structural code transformations for the masses.☆114Updated 5 years ago