ga / haskell
A geometric algebra implementation in Haskell
☆29Updated 4 years ago
Alternatives and similar repositories for haskell:
Users that are interested in haskell are comparing it to the libraries listed below
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 2 years ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- topos programming☆31Updated 6 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- ☆44Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Haskell library of algebraic topology☆23Updated 13 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 11 months ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- ☆20Updated 2 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Haskell library for semigroup actions and torsors☆60Updated last month
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated this week
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- DIY Markov Chains.☆25Updated 4 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 11 months ago
- Library of categories, with categorical constructions on them☆56Updated last year
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- Kleene algebra, regular expressions☆32Updated last year