dabrady / LittleLogicLangs
Project files for my paper, "Little Logic Languages for Relational Programming"
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for LittleLogicLangs
- R6RS SRFIs☆24Updated 12 years ago
- OpenGL libraries for Chez Scheme☆39Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Hygienic Literate Programming for Chez Scheme☆45Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 8 months ago
- Guile numerical arrays and tensor extension☆53Updated last year
- Geneva: portable document preparation system☆9Updated 8 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆39Updated 7 months ago
- A parser generator generator☆17Updated last year
- Asynchronous event loop for chez scheme with await semantics☆38Updated 2 years ago
- Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.☆22Updated 7 years ago
- NumPy for Chez Scheme☆19Updated 4 years ago
- libuv bindings + http(s)☆12Updated 3 years ago
- Programmable IDE for the Lisp family of languages.☆20Updated 2 months ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- SRFI libraries for Chez Scheme☆9Updated 14 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 8 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- Libraries that clasp depends on☆13Updated 8 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆12Updated 5 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 3 years ago
- Don't Lisp, Talk!☆58Updated 7 months ago
- Asset manager and compiler for Common Lisp web apps☆46Updated 9 years ago
- Hash Array Mapped Tries for Racket☆20Updated 7 years ago
- A collection of Scheme libraries☆30Updated 9 years ago
- Common Lisp with Arc Macros and Procedures☆71Updated 8 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Light Weight Cells☆17Updated last month