byorgey / thesis
Brent's PhD thesis.
☆63Updated 8 years ago
Alternatives and similar repositories for thesis:
Users that are interested in thesis are comparing it to the libraries listed below
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- ☆84Updated 7 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 5 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- A geometric algebra implementation in Haskell☆29Updated 4 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 6 years ago
- A monad for interfacing with external SAT solvers☆64Updated 2 weeks ago
- Some tools for provability logic☆37Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- Generation of abstract binding trees☆27Updated 5 months ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Web based opetopic editor☆35Updated 5 months ago
- Julia embedded in Haskell☆53Updated 3 months ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Matrix operations in 100% pure Haskell☆33Updated last year
- playground for working with succinct data structures☆97Updated 9 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago