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:
- Agda-style equational reasoning in Haskell☆53Updated last month
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- ☆84Updated 7 years ago
- Web based opetopic editor☆35Updated 7 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Generic random generators☆81Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Summer school on programming in Agda☆68Updated last year
- Compositional type checking for Haskell☆37Updated 14 years ago
- DIY Markov Chains.☆25Updated 6 months ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Library of categories, with categorical constructions on them☆57Updated last year
- playground for working with succinct data structures☆97Updated 9 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- ☆31Updated 10 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago