Vector & affine spaces, linear maps, and derivatives
☆49Jun 6, 2025Updated 8 months ago
Alternatives and similar repositories for vector-space
Users that are interested in vector-space are comparing it to the libraries listed below
Sorting:
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jan 14, 2026Updated last month
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Spawn threads that never die (unless told to do so)☆37Apr 16, 2018Updated 7 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- Low-dimensional linear algebra primitives for Haskell.☆213Jan 10, 2026Updated last month
- Filter with effects☆76Jan 5, 2025Updated last year
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated last week
- clone all the github repositories of a particular user.☆19Jun 16, 2017Updated 8 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- Simple typesafe routing☆46Aug 31, 2022Updated 3 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 7 years ago
- A monad for managed values☆51Nov 18, 2025Updated 3 months ago
- Monad morphisms☆51Jan 10, 2026Updated last month
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 7 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆41Jul 1, 2023Updated 2 years ago
- Automatic Differentiation☆388Jan 20, 2026Updated last month
- Haskell library for semigroup actions and torsors☆64Feb 3, 2025Updated last year
- Haskell library abstracting common network sockets usage patterns.☆32Dec 12, 2023Updated 2 years ago
- Retry combinators for monadic actions that may fail☆114Apr 17, 2023Updated 2 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 2 years ago
- A functional web framework☆34Jan 22, 2022Updated 4 years ago
- Haskell URI parsing as ByteStrings☆38Apr 10, 2025Updated 10 months ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Feb 2, 2019Updated 7 years ago
- ☆31Oct 31, 2021Updated 4 years ago