T-Brick / c0deine
Reference compiler for c0
☆29Updated 5 months ago
Alternatives and similar repositories for c0deine:
Users that are interested in c0deine are comparing it to the libraries listed below
- A stepping debugger for Standard ML (SML)☆23Updated 10 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Parser Combinator Library for Lean 4☆43Updated this week
- Experiments with SAT solvers with proofs in Lean 4☆54Updated 6 months ago
- Type Checking in Lean 4☆26Updated 4 months ago
- A deterministic parser with fused lexing☆72Updated last year
- ☆28Updated this week
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆72Updated this week
- Demo for dependent types + runtime code generation☆64Updated last month
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 4 months ago
- ☆29Updated 3 months ago
- Write C shims from within Lean code.☆51Updated last month
- LL(1) parser generator verified in Coq☆45Updated 4 years ago
- Lean 4 kernel / 'external checker' written in Lean 4☆86Updated 2 months ago
- Separation Logic Proofs in Lean☆28Updated last month
- EGraphs in OCaml☆61Updated 11 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- sockets for Lean 4☆18Updated 6 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last month
- SDL2 bindings for lean☆21Updated 9 months ago
- Formalising the WASM spec in Lean☆18Updated 6 months ago
- 🪆 A Staged Type Theory☆34Updated last year
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated 11 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆71Updated 4 months ago
- high-performance cubical evaluation☆69Updated last month
- ☆35Updated 3 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- ☆21Updated last year
- A Testing Framework for Lean☆47Updated last month