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:
- ☆40Updated last year
- EGraphs in OCaml☆65Updated last year
- embedding MLIR in LEAN☆47Updated last year
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆50Updated last year
- Interval arithmetic for real computation☆23Updated last month
- Cerberus C semantics☆62Updated last week
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆28Updated 4 months ago
- PL conference deadline countdowns☆60Updated this week
- Definition of the Viper intermediate verification language.☆86Updated this week
- A compiler for functional programs on serialized data☆164Updated 2 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- ☆33Updated 8 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆25Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The WIP book for CPSC 411☆64Updated last month
- Logical relation for predicative CC omega with booleans and an intensional identity type☆13Updated 2 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- A simple raytracer written in Lean 4☆139Updated last year
- A deterministic parser with fused lexing☆73Updated last year
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Libraries useful for Dafny programs☆45Updated last month
- A Verified Compiler for Gallina, Written in Gallina☆152Updated 2 months ago
- A monadic library for symbolic evaluation☆67Updated 2 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 4 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- simple snapshot-style integration testing for commands☆71Updated 3 weeks ago