cfbolz / minitrace
experiments in building tiny tracing JITs in various languages (Prolog to start)
☆9Updated last month
Related projects ⓘ
Alternatives and complementary repositories for minitrace
- A Datalog Framework for Python☆11Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- software archaeology of reflective towers of interpreters☆15Updated last month
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 4 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- miniKanren with a first-order representation of the search space☆16Updated 3 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Slog 1.0☆33Updated 5 months ago
- Kanren with databases☆43Updated 3 months ago
- First-order automated theorem prover based on the tableau method☆12Updated this week
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Datalog + Egg = Good☆65Updated last year
- translations of a lambda abstraction to combinations of operators☆17Updated 5 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Relational Algebra at your fingertips☆62Updated 9 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- literate programming meets unison☆27Updated 6 months ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- ☆33Updated 7 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated 11 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago