input-output-hk / nothunksLinks
☆49Updated 2 months ago
Alternatives and similar repositories for nothunks
Users that are interested in nothunks are comparing it to the libraries listed below
Sorting:
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- High-performance JSON parser☆26Updated last year
- Literally the best anonymous records☆36Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last year
- ☆45Updated 3 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Clean up the formatting of 'show' output☆21Updated last month
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- A monad for managed values☆50Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- Quasiquoter for LLVM☆31Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Example uses of linear types☆43Updated 5 years ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Haskell time library focusing on performance☆57Updated 6 months ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- Parse bytes fast☆24Updated last year
- ☆35Updated last week
- Generate tags file for haskell modules (GHC)☆41Updated this week
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- type level sets☆67Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 6 months ago
- Derive instances through isomorphisms☆20Updated last year
- A GHC plugin and library for analysing GHC Core☆54Updated 4 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago