Nat, Fin, Vec
☆25May 2, 2025Updated 10 months ago
Alternatives and similar repositories for vec
Users that are interested in vec are comparing it to the libraries listed below
Sorting:
- Speculate laws about Haskell functions☆31Jan 30, 2025Updated last year
- ☆35Sep 23, 2024Updated last year
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- FoldMap lists☆12Mar 29, 2023Updated 2 years ago
- highlevel bindings for gnupg made easy in haskell☆12Sep 25, 2022Updated 3 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated 2 months ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 9 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 4 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- ☆45Jan 3, 2026Updated 2 months ago
- ☆22Jan 12, 2026Updated 2 months ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- Dependently-typed finite maps (partial dependent products)☆65Oct 19, 2025Updated 5 months ago
- ☆25Oct 19, 2020Updated 5 years ago
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated last year
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 9 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated last year
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- High performance type safe html generation☆128Jul 25, 2022Updated 3 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- Haskell time library focusing on performance☆59Nov 24, 2025Updated 3 months ago