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:
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- embedding MLIR in LEAN☆47Updated last year
- ☆41Updated last year
- The Shine compiler for the RISE language☆83Updated last month
- The WIP book for CPSC 411☆66Updated 2 months ago
- EGraphs in OCaml☆70Updated last year
- A minimal development of SSA theory☆164Updated this week
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆32Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆115Updated 2 weeks ago
- SSA vs ANF☆43Updated 10 years ago
- ☆36Updated 3 weeks ago
- simple snapshot-style integration testing for commands☆71Updated 3 months ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated this week
- Cerberus C semantics☆67Updated 2 weeks ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆51Updated this week
- Definition of the Viper intermediate verification language.☆87Updated last week
- The MaPLe compiler: efficient and scalable parallel functional programming☆390Updated 3 weeks ago
- An awesome list of e-graph resources☆223Updated 2 weeks ago
- MimIR is my Intermediate Representation☆72Updated last week
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 7 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆16Updated last week
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Interval arithmetic for real computation☆23Updated last month
- ☆233Updated last year
- PL conference deadline countdowns☆61Updated last week
- A simple raytracer written in Lean 4☆139Updated last year
- Libraries useful for Dafny programs☆45Updated 2 weeks ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year