dabrady / LittleLogicLangs
Project files for my paper, "Little Logic Languages for Relational Programming"
☆12Updated 4 years ago
Related projects: ⓘ
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆39Updated 5 months ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 9 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 7 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- A parser generator generator☆17Updated last year
- Generic collections API for Racket☆53Updated 2 years ago
- ☆17Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Libraries that clasp depends on☆13Updated 8 years ago
- Common Lisp Structure Editor☆23Updated 3 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated this week
- ☆31Updated this week
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- ☆14Updated this week
- ☆37Updated this week
- Don't Lisp, Talk!☆58Updated 5 months ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- #lang clojure☆120Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- Hash Array Mapped Tries for Racket☆20Updated 7 years ago
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- HTTP middleware for Scheme/Gambit/Black Hole, inspired by Ruby's Rack. Includes a HTTP client.☆18Updated 12 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆20Updated 3 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 3 years ago