cfbolz / minitraceView external linksLinks
experiments in building tiny tracing JITs in various languages (Prolog to start)
☆11Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for minitrace
Users that are interested in minitrace are comparing it to the libraries listed below
Sorting:
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated 9 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- ☆10Oct 27, 2019Updated 6 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 8 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- software archaeology of reflective towers of interpreters☆16Jun 6, 2025Updated 8 months ago
- experimental computational medium and supporting tools☆23Updated this week
- Website for CS 265☆33Dec 27, 2024Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 4 months ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- ☆18May 1, 2020Updated 5 years ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆84Updated this week
- Simple parser for Python marshal serialization and pyc files☆22Jan 23, 2026Updated 3 weeks ago
- Slog 1.0☆46Jun 11, 2024Updated last year
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Jan 28, 2026Updated 2 weeks ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- ☆88Nov 30, 2020Updated 5 years ago
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 2 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- ☆24Feb 26, 2023Updated 2 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 9 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 2 months ago
- mTOTP is an experimental, manual variant of TOTP designed to be computed by a human without electronic devices. It explores the limits of…☆73Jan 18, 2026Updated 3 weeks ago
- Lovable memory-safe systems language with a pretty fast compiler☆18Feb 6, 2026Updated last week