charlielidbury / ochreLinks
A systems theorem prover
☆12Updated last year
Alternatives and similar repositories for ochre
Users that are interested in ochre are comparing it to the libraries listed below
Sorting:
- A proof assistant for higher-dimensional type theory☆222Updated 2 months ago
- HoTTEST Summer School materials☆316Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated 3 weeks ago
- Staged compilation with dependent types☆184Updated 6 months ago
- 😎TT☆234Updated 3 months ago
- The agda-unimath library☆276Updated last week
- A language with dependent data and codata types☆124Updated this week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated this week
- Minimal implementations for dependent type checking and elaboration☆740Updated 3 months ago
- A categorical programming language with effects☆288Updated 2 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆252Updated 2 weeks ago
- Dependent type checker using normalisation by evaluation☆269Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- A new Categories library for Agda☆391Updated this week
- Proof assistant based on the λΠ-calculus modulo rewriting☆359Updated last week
- An experimental library for Cubical Agda☆513Updated 3 weeks ago
- Compiling Agda code to readable Haskell☆195Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 3 months ago
- agda-mode for neovim☆168Updated 2 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆278Updated 2 months ago
- a proof-of-concept programming language based on call-by-push-value☆59Updated this week
- Duo - A research language exploring duality in programming language design☆58Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- Language Server for Agda☆119Updated 3 weeks ago
- agda-mode on VS Code☆181Updated last week
- Building a compiler to WASM step-by-step☆15Updated 8 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆212Updated this week
- A garden of small programming language implementations 🪴☆292Updated this week
- Alternative algorithm for algebraic subtyping.☆170Updated last week