namin / 3-proto-lisp
Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
☆13Updated 3 years ago
Related projects: ⓘ
- software archaeology of reflective towers of interpreters☆15Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated 9 months ago
- ☆21Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Tiny Object Run Time☆20Updated 9 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆29Updated 3 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- ☆18Updated last year
- Kanren with databases☆43Updated last month
- Wasm tooling in Racket.☆40Updated last year
- Normalization-by-evaluation in miniKanren☆22Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆43Updated 14 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated last week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆25Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- Prototype Object Orientation for Gerbil Scheme☆23Updated last month
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆20Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 7 years ago
- A programming argot☆58Updated 5 months ago
- Implementation of local and remote loci for Racket☆13Updated 3 years ago