jdormit / sicp-logic
A Clojure implementation of the logic programming language from chapter 4 of SICP
☆68Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for sicp-logic
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- Stack-based Programming in Clojure(script)☆78Updated 5 years ago
- Mímir is an experimental rule engine written in Clojure.☆230Updated 8 months ago
- Chip8 emulator written in Clojure.☆41Updated 5 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- A lisp with support for fexprs and interpreter collapsing☆37Updated 5 years ago
- #lang clojure☆121Updated 9 years ago
- A Clojure implementation of the Dancing Links algorithm☆73Updated 5 years ago
- A Parser Combinators Library for Clojure☆237Updated 3 years ago
- A parser combinator library for Clojure and ClojureScript☆66Updated 11 months ago
- A propagator library for Clojure☆165Updated 10 years ago
- explorations in core.logic☆115Updated 5 months ago
- A clojure wrapper around WikiData☆128Updated last year
- Extensible Clojure☆106Updated 8 years ago
- An implementation of Hindley-Milner in Clojure.☆166Updated 10 years ago
- Persistent sorted maps and sets with log-time rank queries☆132Updated 4 months ago
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆73Updated 8 years ago
- ☆266Updated 11 years ago
- Continuation Passing Style macro compiler for Clojure☆59Updated 7 years ago
- This is the Toccata compiler and core library. Start here.☆168Updated 2 months ago
- ☆86Updated 3 years ago
- Delimited continuations for Clojure☆213Updated 4 years ago
- Experimental typed JVM Lisp inspired by Clojure☆32Updated 6 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆68Updated 2 years ago
- Code from "Paradigms of Artificial Intelligence Programming" in Clojure☆39Updated 6 months ago
- ☆189Updated 5 years ago
- C Reader for the Next Thousand Lisps☆50Updated 6 years ago
- RRB-Trees in Clojure☆192Updated 4 months ago
- A library for doing stuff to other stuff.☆213Updated 10 years ago