aoh / mindoLinks
executable λ-calclulus
☆14Updated 9 years ago
Alternatives and similar repositories for mindo
Users that are interested in mindo are comparing it to the libraries listed below
Sorting:
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Constraint Handling Rules in Clojure☆28Updated 13 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- explorations in core.logic☆118Updated last year
- Concatenative relational interpreter in miniKanren☆22Updated 10 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 8 years ago
- parsley is dead, long live parsnip!☆17Updated 10 years ago
- Extensible Clojure☆107Updated 9 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Updated 12 years ago
- Clojure-based x86 assembler and toy Lisp compiler☆124Updated 8 months ago
- #lang clojure☆125Updated 9 years ago
- An R6RS framework for creating compilers that target C.☆114Updated 9 years ago
- a Chicken Scheme port of the QuickCheck unit test framework☆13Updated 5 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …☆21Updated 3 years ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆156Updated last year
- r6rs packaging of minikanren from "The Reasoned Schemer"☆11Updated 10 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- A linter for the Scheme programming language☆10Updated 9 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- comparative lispology☆42Updated 11 years ago
- a text editor (mirror + issues)☆22Updated 8 months ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 8 years ago
- Clojure in Common Lisp☆19Updated 2 years ago
- A simple, unoptimized, purely functional Datalog implementation.☆12Updated 3 years ago
- A project in which I work my way through a Clojure version of "The Reasoned Schemer"☆32Updated 12 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Updated 10 years ago
- Compile Clojure to FPGAs☆93Updated 10 years ago