jdormit / sicp-logicLinks
A Clojure implementation of the logic programming language from chapter 4 of SICP
☆68Updated 6 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 6 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 8 years ago
- A little scheme implementation on top of Clojure☆149Updated 9 years ago
- Stack-based Programming in Clojure(script)☆78Updated 6 years ago
- A propagator library for Clojure☆167Updated 11 years ago
- A library for doing stuff to other stuff.☆214Updated 12 years ago
- Algebraic Effect Handlers for Clojure☆46Updated 12 years ago
- Clojure VM written in C with advanced GC☆73Updated 8 years ago
- Mímir is an experimental rule engine written in Clojure.☆231Updated last year
- Chip8 emulator written in Clojure.☆40Updated 6 years ago
- A lisp with support for fexprs and interpreter collapsing☆37Updated 7 years ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆157Updated last year
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆74Updated 9 years ago
- Extensible Clojure☆107Updated 10 years ago
- An implementation of Hindley-Milner in Clojure.☆169Updated 11 years ago
- mixfix syntax for clojure☆53Updated 10 years ago
- A ClojureScript REPL and tutorial in your browser!☆36Updated 8 years ago
- Continuation Passing Style macro compiler for Clojure☆60Updated 8 years ago
- A statically typed, functional Lisp, building upon Clojure☆79Updated 8 years ago
- A parser combinator library for Clojure and ClojureScript☆77Updated last month
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- #lang clojure☆125Updated 10 years ago
- ☆266Updated 12 years ago
- Experimental typed JVM Lisp inspired by Clojure☆34Updated 6 months ago
- Unification library☆151Updated last month
- The Symbolic Assembler☆56Updated 8 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆265Updated 10 months ago
- ☆188Updated 6 years ago
- C Reader for the Next Thousand Lisps☆50Updated 7 years ago
- Explorations in chemical computing with Clojure☆94Updated 10 years ago