cucapra / gatorLinks
Geometry types
☆30Updated 4 years ago
Alternatives and similar repositories for gator
Users that are interested in gator are comparing it to the libraries listed below
Sorting:
- embedding MLIR in LEAN☆47Updated 11 months ago
- ☆40Updated last year
- A compiler for functional programs on serialized data☆164Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆151Updated last month
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆220Updated 3 months ago
- Definition of the Viper intermediate verification language.☆86Updated 2 weeks ago
- ☆33Updated 7 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A monadic library for symbolic evaluation☆66Updated 2 weeks ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 5 months ago
- A deterministic parser with fused lexing☆73Updated last year
- EGraphs in OCaml☆65Updated last year
- PL conference deadline countdowns☆60Updated 2 months ago
- A minimal development of SSA theory☆140Updated this week
- Coq library for verified low-level programming☆59Updated 7 years ago
- Hoare Type Theory☆75Updated 3 weeks ago
- Haskell bindings for MLIR☆107Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- A simple raytracer written in Lean 4☆136Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆120Updated 3 months ago
- Libraries useful for Dafny programs☆43Updated 3 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- SSA vs ANF☆42Updated 9 years ago
- Functional Programming in Lean☆84Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆52Updated 2 years ago
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated 3 weeks ago