Purely-functional, coordinate-free linear algebra
☆30Jun 1, 2025Updated 9 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☆22May 18, 2023Updated 2 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 10 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- All the Transient libraries☆44Feb 3, 2026Updated last month
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Apr 11, 2018Updated 7 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- CQL: Categorical Query Language implementation in Haskell☆182Apr 14, 2023Updated 2 years ago
- Compatibility checker for OpenAPI☆26Sep 12, 2024Updated last year
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆25Aug 12, 2025Updated 6 months ago
- A haskell implementation of the Cassowary linear programming solver.☆23Sep 19, 2020Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Jun 25, 2025Updated 8 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated last month
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- Render diagrams to Braille☆29Apr 7, 2025Updated 10 months ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Apr 15, 2019Updated 6 years ago
- Haskell library for semigroup actions and torsors☆64Feb 3, 2025Updated last year
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Updated this week
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- Wood River Valley Groundwater-Flow Model☆11Apr 7, 2023Updated 2 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Collecting information about Haskell ecosystem - companies, communities, media, etc.☆137Apr 8, 2024Updated last year
- First-class type families☆91Nov 6, 2025Updated 3 months ago
- Safe conversions between Haskell textual types☆39May 2, 2022Updated 3 years ago
- Haskell implementation of JOSE/JWT standards☆38Sep 20, 2024Updated last year
- Type safe interface for working in subcategories of Hask☆420May 16, 2019Updated 6 years ago
- constructive abstract algebra☆104Jan 30, 2020Updated 6 years ago
- A complete framework to develop web applications in Go - wip☆11Feb 3, 2026Updated last month
- ☆10Jan 16, 2025Updated last year
- Topological Data Analysis for Power System Contingencies☆10Sep 17, 2020Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- A formalization of category theory in cubical Agda☆58May 24, 2020Updated 5 years ago