dreixel / syb
Scrap Your Boilerplate generic programming library in Haskell
☆45Updated 4 months ago
Alternatives and similar repositories for syb:
Users that are interested in syb are comparing it to the libraries listed below
- Some useful control operators for looping☆48Updated 5 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 4 months ago
- Serializable closures for distributed programming.☆64Updated last year
- the EitherT monad transformer☆55Updated 2 months ago
- Provides the region monad for safely opening and working with scarce resources☆33Updated 10 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- haskell memory☆48Updated last year
- Maps using values' monoidal structure during merging☆42Updated last month
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- Monad morphisms☆50Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- A more progressive alternative to the "base" package☆27Updated 3 months ago
- Efficient conversion of values into Text☆40Updated 2 months ago
- Type-safe error handling☆64Updated last year
- Type-level well-kinded natural numbers.☆34Updated 4 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Deep evaluation of data structures☆41Updated 7 months ago
- Extensible type-safe unions for Haskell☆33Updated last month
- phantom types☆38Updated 3 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last month
- fast utf-8 character sets☆13Updated 2 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Compile git revision info into Haskell projects☆49Updated last year
- Haskell 98 contravariant functors☆73Updated 6 months ago