pliba / kaminpy
Interpreters from Kamin's PLIBA book, rewritten in Python 3
☆21Updated 3 years ago
Alternatives and similar repositories for kaminpy:
Users that are interested in kaminpy are comparing it to the libraries listed below
- Book lucid interpreter written in python☆24Updated 5 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- Summer Scheming!!!!!!☆11Updated 4 years ago
- Repo with algorithms or small projects in some languages I am studying☆22Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Data Structure Optimization for Functional Programs☆34Updated 5 years ago
- software archaeology of reflective towers of interpreters☆15Updated 3 months ago
- Working through the Book Lisp In Small Pieces☆12Updated 2 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- A funny toy programming language project☆29Updated 11 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 3 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- the 7 gui project☆54Updated last year
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Write and render mind-maps in Racket☆20Updated 4 years ago
- Some notes on generative effects☆21Updated 4 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆51Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 6 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago