Implementation of the Delta Language
☆13Mar 18, 2024Updated last year
Alternatives and similar repositories for delta
Users that are interested in delta are comparing it to the libraries listed below
Sorting:
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated 2 months ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 2 weeks ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 2 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆13Dec 2, 2025Updated 3 months ago
- ☆14May 28, 2025Updated 9 months ago
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 3 months ago
- ☆11Jul 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
- ☆13Jul 31, 2016Updated 9 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- ☆17Oct 16, 2018Updated 7 years ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 4 months ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- An automated deductive program verifier based on concurrent separation logic☆28Feb 14, 2026Updated 2 weeks ago
- Low-level rpp-based Vulkan 1.3 abstraction layer☆23Dec 21, 2024Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆60Jun 18, 2024Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- 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
- Demo for dependent types + runtime code generation☆72Feb 18, 2025Updated last year
- Interaction net resources☆45Jan 29, 2026Updated last month
- A reflection-based proof tactic for lattices in Coq☆21Oct 15, 2023Updated 2 years ago
- ☆30Updated this week
- ☆26Feb 11, 2026Updated 2 weeks ago
- Privacy preserving version of Shazam, implemented as the solution to the Bounty Program of Zama☆33Feb 5, 2024Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Apr 1, 2025Updated 11 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago