cfbolz / minitraceLinks
experiments in building tiny tracing JITs in various languages (Prolog to start)
☆11Updated 8 months ago
Alternatives and similar repositories for minitrace
Users that are interested in minitrace are comparing it to the libraries listed below
Sorting:
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- miniKanren with a first-order representation of the search space☆16Updated 10 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last week
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A simple λProlog interpreter☆20Updated 3 years ago
- αProlog☆17Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆20Updated 8 months ago
- A Datalog Framework for Python☆12Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Partial evaluation of Python code☆21Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Linearizability Hoare Logic☆14Updated 2 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 4 years ago