jdormit / sicp-logicLinks
A Clojure implementation of the logic programming language from chapter 4 of SICP
☆68Updated 5 years ago
Alternatives and similar repositories for sicp-logic
Users that are interested in sicp-logic are comparing it to the libraries listed below
Sorting:
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- A little scheme implementation on top of Clojure☆146Updated 8 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- A library for doing stuff to other stuff.☆216Updated 11 years ago
- Mímir is an experimental rule engine written in Clojure.☆231Updated last year
- Explorations in chemical computing with Clojure☆94Updated 10 years ago
- A propagator library for Clojure☆166Updated 11 years ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆156Updated last year
- Clojure VM written in C with advanced GC☆73Updated 7 years ago
- Continuation Passing Style macro compiler for Clojure☆60Updated 8 years ago
- This is the Toccata compiler and core library. Start here.☆3Updated this week
- Algebraic Effect Handlers for Clojure☆47Updated 11 years ago
- Chip8 emulator written in Clojure.☆41Updated 6 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- ☆265Updated 12 years ago
- Unification library☆149Updated 2 months ago
- A parser combinator library for Clojure and ClojureScript☆75Updated 4 months ago
- A lisp with support for fexprs and interpreter collapsing☆37Updated 6 years ago
- Delimited continuations for Clojure☆215Updated 5 years ago
- mixfix syntax for clojure☆53Updated 9 years ago
- The Symbolic Assembler☆56Updated 8 years ago
- Extensible Clojure☆107Updated 9 years ago
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆74Updated 8 years ago
- A Parser Combinators Library for Clojure☆241Updated 4 years ago
- An implementation of Hindley-Milner in Clojure.☆168Updated 10 years ago
- RRB-Trees in Clojure☆199Updated 2 months ago
- A Clojure to Rust transpiler☆163Updated 5 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆261Updated 4 months ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆95Updated 6 years ago