cfbolz / minitrace
experiments in building tiny tracing JITs in various languages (Prolog to start)
☆10Updated 4 months ago
Alternatives and similar repositories for minitrace:
Users that are interested in minitrace are comparing it to the libraries listed below
- software archaeology of reflective towers of interpreters☆15Updated 4 months ago
- miniKanren with a first-order representation of the search space☆16Updated 6 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Partial evaluation of Python code☆20Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- ☆34Updated 10 months ago
- McLulang: The message is the language☆10Updated 5 months ago
- Slog 1.0☆38Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- A Datalog Framework for Python☆11Updated last year
- Universal instruction selection☆12Updated 6 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Normalization-by-evaluation in miniKanren☆24Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 6 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago