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:
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Web based opetopic editor☆36Updated last year
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- ☆84Updated 8 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- constructive abstract algebra☆104Updated 5 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 6 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- Type provider library for Idris☆95Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Haskell library containing common graph search algorithms☆54Updated 5 months ago
- Lean Tutorials☆46Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- 2048 in Idris☆123Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A monad for interfacing with external SAT solvers☆65Updated 5 months ago