byorgey / thesisLinks
Brent's PhD thesis.
☆69Updated 9 years ago
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- ☆84Updated 8 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Some tools for provability logic☆37Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Web based opetopic editor☆35Updated last year
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- being the materials for Summer 2013's course☆113Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- ☆32Updated 7 years ago
- A formalization of M-types in Agda☆36Updated 5 years ago
- Real number computation software☆127Updated 3 years ago
- constructive abstract algebra☆104Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 10 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Updated 4 years ago