ga / haskellLinks
A geometric algebra implementation in Haskell
☆31Updated 4 years ago
Alternatives and similar repositories for haskell
Users that are interested in haskell are comparing it to the libraries listed below
Sorting:
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated last month
- Agda-style equational reasoning in Haskell☆53Updated last month
- topos programming☆31Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- A subfield of the complex numbers for exact calculation.☆21Updated 5 years ago
- Brent's PhD thesis.☆63Updated 9 years ago
- being the materials for Summer 2013's course☆112Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Haskell library of algebraic topology☆23Updated 13 years ago
- Library of categories, with categorical constructions on them☆57Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- Web based opetopic editor☆35Updated 7 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 weeks ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated last month
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 8 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- ☆44Updated 2 years ago