maurer / c-storable-derivingLinks
Derivation of C-like Storable Instances
☆12Updated 9 years ago
Alternatives and similar repositories for c-storable-deriving
Users that are interested in c-storable-deriving are comparing it to the libraries listed below
Sorting:
- the 'invariant' Haskell package for invariant functors☆16Updated 7 months ago
- Compile-time checking for partial smart-constructors☆20Updated 2 years ago
- Monad morphisms☆51Updated last week
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- A HUnit/hspec assertion to verify that an expression does not typecheck☆43Updated 6 years ago
- Extensible type-safe unions for Haskell☆34Updated 7 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Sort any Traversable container☆41Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated 6 months ago
- Example usage of the Haskell C FFI with hsc2hs☆12Updated 10 months ago
- parser for config files, shell variables, command line args.☆22Updated 9 years ago
- CLI tool for Hackage☆27Updated last month
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Type-safe time units in Haskell☆50Updated 8 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Modular arithmetic, promoting moduli to the type level☆23Updated last month
- Haskell bindings to ArrayFire☆60Updated 10 months ago
- Constraint-based generics☆49Updated last year
- Dependently typed elimination functions using singletons☆28Updated 9 months ago
- Placeholders for use while developing Haskell code☆30Updated 14 years ago
- Haskell dynamic RTS loader☆13Updated 9 years ago
- Kleene algebra, regular expressions☆33Updated last year
- Script to download all of Hackage☆15Updated 6 years ago
- A monadic DSL for simple configuration parsing☆27Updated 4 months ago
- A GHC plugin and library for analysing GHC Core☆54Updated 8 months ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- ☆44Updated 7 months ago
- Some useful control operators for looping☆47Updated 5 years ago
- A more progressive alternative to the "base" package☆27Updated 8 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 9 years ago