Nat, Fin, Vec
☆25May 2, 2025Updated 9 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☆30Jan 30, 2025Updated last year
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- ☆35Sep 23, 2024Updated last year
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Use conduit to process/manipulate/convert audio☆18Jan 16, 2020Updated 6 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- FoldMap lists☆12Mar 29, 2023Updated 2 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated last year
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 2 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- highlevel bindings for gnupg made easy in haskell☆12Sep 25, 2022Updated 3 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- Advent of Code 2017 solutions☆27Dec 3, 2020Updated 5 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Fixed length vector for haskell☆21Jan 27, 2026Updated last month
- XML/XSD combinators/schemas/codegen, plus MusicXML☆17Jan 20, 2024Updated 2 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- Golden tests with Hspec☆29Oct 31, 2025Updated 3 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 4 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- Monadic capabilities with late binding☆29Oct 30, 2023Updated 2 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆22Jan 12, 2026Updated last month
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month