byorgey / thesisLinks
Brent's PhD thesis.
☆63Updated 9 years ago
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- ☆84Updated 7 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Web based opetopic editor☆35Updated 8 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆26Updated 8 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- TODO☆23Updated 9 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago