Purely-functional, coordinate-free linear algebra
☆34Jun 1, 2025Updated last year
Alternatives and similar repositories for linearmap-family
Users that are interested in linearmap-family are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22May 18, 2023Updated 3 years ago
- Render diagrams to Braille☆30Apr 7, 2025Updated last year
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- All the Transient libraries☆45Oct 24, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OpenGL Backend for Diagrams DSL☆13Jun 5, 2016Updated 10 years ago
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- constructive abstract algebra☆106Jan 30, 2020Updated 6 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Oct 2, 2026Updated last month
- Haskell implementation of the Levy (CBPV) language☆11Apr 4, 2012Updated 14 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆36Nov 30, 2022Updated 3 years ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- Linear maps as a GADT☆14Dec 17, 2012Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- Open telemetry auto instrumentation using GHC plugin☆15Sep 27, 2026Updated last month
- Church-encoding of the Freer monad☆29Oct 27, 2016Updated 10 years ago
- Interactive windows for displaying Haskell-generated diagrams☆18Sep 17, 2024Updated 2 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 6 years ago
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated 9 months ago
- Combine and enhance Functors☆39Aug 12, 2025Updated last year
- CQL: Categorical Query Language implementation in Haskell☆189Apr 14, 2023Updated 3 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A library for producing terminal plots.☆83Jul 1, 2026Updated 4 months ago
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- Intrinsic Verification of Formal Grammar Theory☆29Aug 4, 2026Updated 3 months ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 9 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Apr 11, 2018Updated 8 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- Deriving via☆33Aug 6, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- ☆24Oct 27, 2026Updated last week
- Numerical computation in native Haskell☆96Jan 16, 2026Updated 9 months ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Extract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL☆11Feb 21, 2020Updated 6 years ago
- ☆20May 4, 2026Updated 6 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated last year