byorgey / thesis
Brent's PhD thesis.
☆63Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for thesis
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- i bet you there is a typesystem behind music☆30Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- ☆82Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Web based opetopic editor☆34Updated last month
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Cohesive type theory☆18Updated 2 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆70Updated 2 years ago
- Playing around with multicategories and operads☆16Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- What I wish I knew when learning HoTT☆53Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- ☆28Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Generic random generators☆81Updated last year