the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
☆16May 21, 2025Updated 9 months ago
Alternatives and similar repositories for blond
Users that are interested in blond are comparing it to the libraries listed below
Sorting:
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 8 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 4 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- flexible 'let rec' generation for MetaOCaml☆28Jan 25, 2026Updated last month
- A programming language☆11Jan 7, 2022Updated 4 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆50Feb 18, 2024Updated 2 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Rich token-based pattern matching for Clojure. Match a template like "do *action with *resource" against an input string like "Do good y…☆13Sep 18, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago