Vector & affine spaces, linear maps, and derivatives
☆49Jun 6, 2025Updated 9 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
- Spawn threads that never die (unless told to do so)☆37Apr 16, 2018Updated 7 years ago
- Haskell binding for Bullet physics engine☆24May 14, 2020Updated 5 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Mar 2, 2026Updated 2 weeks ago
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Simple typesafe routing☆46Aug 31, 2022Updated 3 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Low-dimensional linear algebra primitives for Haskell.☆215Mar 11, 2026Updated last week
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- A monad for managed values☆51Nov 18, 2025Updated 4 months ago
- Monad morphisms☆51Jan 10, 2026Updated 2 months ago
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Feb 3, 2020Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Haskell library abstracting common network sockets usage patterns.☆32Dec 12, 2023Updated 2 years ago
- Retry combinators for monadic actions that may fail☆115Apr 17, 2023Updated 2 years ago
- A MOBA written using Haskell, Yampa, and SDL☆27May 19, 2015Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- A functional web framework☆34Jan 22, 2022Updated 4 years ago
- high-level stream sockets in haskell☆17Sep 4, 2025Updated 6 months ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- Examples of Haskell versions of Numpy usage☆18Mar 23, 2017Updated 8 years ago
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 7 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Performant N-Body Simulations with Barnes-Hut and Realistic Galaxy Models☆29Oct 13, 2021Updated 4 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago