leftaroundabout / linearmap-familyLinks
Purely-functional, coordinate-free linear algebra
☆30Updated 4 months ago
Alternatives and similar repositories for linearmap-family
Users that are interested in linearmap-family are comparing it to the libraries listed below
Sorting:
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated 2 years ago
- Library of categories, with categorical constructions on them☆58Updated 2 years ago
- constraint level if statements☆117Updated 7 years ago
- A utility for displaying the module dependencies of Haskell programs.☆184Updated last year
- First-class type families☆88Updated last week
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Inspection Testing for Haskell☆189Updated this week
- ☆37Updated 3 months ago
- ☆93Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Measure allocations of a Haskell functions/values☆99Updated 11 months ago
- Source for personal blog.☆78Updated last month
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- Literate Haskell support for Markdown☆146Updated 6 months ago
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- ☆103Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- Numerical computation in native Haskell☆91Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 9 months ago
- ☆99Updated 3 months ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Sort any Traversable container☆41Updated 3 years ago
- Machine Learning Toolbox☆36Updated 7 years ago
- Analyze GHC .dump-timings files☆108Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆192Updated 4 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 3 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago