emilaxelsson / syntactic
Generic representation and manipulation of abstract syntax
☆25Updated 2 years ago
Related projects: ⓘ
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 5 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Example usage of the Haskell C FFI with hsc2hs☆11Updated 6 years ago
- ☆25Updated 3 years ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago
- Fast ByteString Builder☆22Updated 3 weeks ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 6 months ago
- Continuously varying values, made easy :)☆40Updated 4 years ago
- ☆25Updated this week
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- multiset haskell package☆19Updated 10 months ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Sum and Product types and such☆29Updated 4 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Create unit tests and benchmarks at the same time☆8Updated 5 years ago
- ☆20Updated 3 years ago
- Example how to append data to a Haskell executable using sqlite☆11Updated 4 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Quiver stream processing library☆15Updated 7 years ago
- Extensible type-safe unions for Haskell☆31Updated last week
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 6 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago