dmikulic / adventure-in-core-logic
Like the Adventure in Prolog
☆13Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for adventure-in-core-logic
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- Dhall to and from Clojure☆75Updated 5 years ago
- microKanren sagittarius/larceny☆11Updated 9 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆21Updated last year
- Support Frege compiler via leiningen☆33Updated 8 years ago
- Lisp is data. Data needs a visualization tool.☆15Updated 11 years ago
- explorations in core.logic☆115Updated 5 months ago
- Typed Clojure screencasts☆9Updated 9 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Updated 7 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- The Sheet Music Generator☆14Updated 8 years ago
- Clojure code editor wrapping Flense☆22Updated 9 years ago
- Experimental typed JVM Lisp inspired by Clojure☆32Updated 6 years ago
- yet another monad lib for clojure☆93Updated 6 years ago
- ClojureScript promises for Node☆50Updated 5 years ago
- #lang clojure☆121Updated 9 years ago
- A statically typed, functional Lisp, building upon Clojure☆78Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 8 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- A Factor-inspired, concatenative DSL for Clojure☆97Updated 11 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.☆12Updated last year
- a numerical computing library for Clojure☆22Updated 6 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- A project in which I work my way through a Clojure version of "The Reasoned Schemer"☆32Updated 11 years ago