well-typed / ixset-typedView external linksLinks
More strongly typed variant of the ixset Haskell package
☆26Jul 28, 2025Updated 6 months ago
Alternatives and similar repositories for ixset-typed
Users that are interested in ixset-typed are comparing it to the libraries listed below
Sorting:
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- 💝 Haskell profiles to sponsor☆48Oct 28, 2021Updated 4 years ago
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 9 years ago
- For a given Haskell source file, determine where a symbol is imported from☆27Nov 16, 2018Updated 7 years ago
- Compile git revision info into Haskell projects☆33Jun 21, 2023Updated 2 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Exact real arithmetic in Haskell☆25Dec 13, 2021Updated 4 years ago
- A port of microKanren to Ruby☆29Jan 23, 2015Updated 11 years ago
- Generate standalone haddock documentation for a set of packages☆28Jun 27, 2020Updated 5 years ago
- A `flake-parts` module for colmena deployment tool☆13Jul 5, 2025Updated 7 months ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Apr 10, 2022Updated 3 years ago
- PoC process-compose deployments for NixOS☆12Jan 2, 2025Updated last year
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Swagger for Servant☆123Nov 17, 2021Updated 4 years ago
- See the docs and live playground here☆13Dec 10, 2022Updated 3 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Dec 12, 2025Updated 2 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Apr 11, 2025Updated 10 months ago
- C Layer for Dhall Language☆15Feb 6, 2021Updated 5 years ago
- Modern library for working with URIs☆69Feb 3, 2026Updated last week
- A Set type which supports multiple indexes☆17Nov 23, 2025Updated 2 months ago
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- Run ollama natively - powered by Nix☆13Jun 22, 2024Updated last year
- Haskell cryptography done right☆19Dec 18, 2025Updated last month
- Library and utility for processing cabal's plan.json file☆41Jul 29, 2025Updated 6 months ago
- A purely functional animated GUI framework☆17Jul 16, 2025Updated 6 months ago
- ☆39Apr 22, 2024Updated last year
- Binary serialisation in the CBOR format☆207Oct 2, 2025Updated 4 months ago
- Clean up the formatting of 'show' output☆21May 10, 2025Updated 9 months ago
- 🏝 Bidirectional TOML serialization☆132Jan 2, 2026Updated last month
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- An implementation of the actor model in Haskell using STM☆17Dec 20, 2024Updated last year
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Dec 29, 2025Updated last month
- Generated migrations for beam databases☆23Dec 25, 2025Updated last month
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago