A compact functional set data structure
☆18Jun 1, 2021Updated 4 years ago
Alternatives and similar repositories for bitset
Users that are interested in bitset are comparing it to the libraries listed below
Sorting:
- high-level stream sockets in haskell☆17Sep 4, 2025Updated 5 months ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 3 weeks ago
- ☆11May 7, 2023Updated 2 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- ☆14Nov 4, 2025Updated 3 months ago
- PWV Functional Language☆15Oct 30, 2023Updated 2 years ago
- A fully type-safe multi-role communication protocol framework.☆13Nov 21, 2024Updated last year
- GHCJS widgets for reflex-dom and material bootstrap☆10Jan 11, 2018Updated 8 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Feb 15, 2026Updated last week
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Double-ended queues☆14Feb 3, 2025Updated last year
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Rubik's cube solver in Haskell☆21Aug 1, 2025Updated 6 months ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 2 months ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 12, 2024Updated last year
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Filling and manupulation with histograms☆17Mar 10, 2025Updated 11 months ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- pointed and copointed data☆23Mar 3, 2025Updated 11 months ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Generic representation and manipulation of abstract syntax☆27May 26, 2022Updated 3 years ago
- Neovim plugin for khalorg☆17May 14, 2025Updated 9 months ago
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- 📶 - Elm style FRP library for Haskell☆16Aug 8, 2018Updated 7 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Feb 20, 2026Updated last week
- ☆21Jan 1, 2023Updated 3 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Statically typed, high-level functional programming language.☆17Aug 22, 2021Updated 4 years ago
- Automatically-updated Hydra status of the `haskell-updates` branch in Nixpkgs☆18Jan 22, 2026Updated last month
- Haskell implementation of MessagePack / msgpack.org☆16Apr 17, 2025Updated 10 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated 11 months ago