dreixel / syb
Scrap Your Boilerplate generic programming library in Haskell
☆44Updated last year
Related projects ⓘ
Alternatives and complementary repositories for syb
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Some useful control operators for looping☆47Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 weeks ago
- Monad morphisms☆47Updated 2 years ago
- haskell memory☆48Updated last year
- the EitherT monad transformer☆55Updated 6 months ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 2 years ago
- fast utf-8 character sets☆13Updated last week
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- phantom types☆37Updated last month
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- mtl friendly exceptions☆49Updated last week
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- ☆39Updated 7 years ago
- ☆44Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- Filter with effects☆71Updated 3 months ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated last month
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago