MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
☆23Oct 25, 2023Updated 2 years ago
Alternatives and similar repositories for Mascarpone
Users that are interested in Mascarpone are comparing it to the libraries listed below
Sorting:
- ☆16Feb 18, 2025Updated last year
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 5 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆21Jan 8, 2021Updated 5 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 5 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated 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.☆23Dec 14, 2016Updated 9 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A certified semantics for relational programming workout.☆26Oct 15, 2020Updated 5 years ago
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Feb 8, 2026Updated 3 weeks ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- The nice-looking GUI for your generative art. With the support of detaching. Written in Elm. https://package.elm-lang.org/packages/shaman…☆11Feb 27, 2024Updated 2 years ago
- Example Coq plugin☆18Mar 23, 2018Updated 7 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Mar 9, 2023Updated 2 years ago
- Template project for program verification in the Rocq Prover, showcasing reasoning on CompCert's Clight language using the Verified Softw…☆35Updated this week
- ☆17Oct 16, 2018Updated 7 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 4 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 9 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month