byorgey / thesisLinks
Brent's PhD thesis.
☆64Updated 9 years ago
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆84Updated 7 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Web based opetopic editor☆35Updated 8 months ago
- ☆17Updated last year
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated last month
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- Julia embedded in Haskell☆52Updated 7 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- A formalization of M-types in Agda☆33Updated 5 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago