dmjio / c-ffi-example
Example usage of the Haskell C FFI with hsc2hs
☆12Updated 3 months ago
Alternatives and similar repositories for c-ffi-example:
Users that are interested in c-ffi-example are comparing it to the libraries listed below
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 4 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 months ago
- ☆44Updated 3 weeks ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 3 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Declare that a typeclass instance should not exist.☆11Updated 10 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- A bad XML parser☆21Updated 6 months ago
- ☆26Updated 2 months ago
- High-performance JSON parser☆26Updated 11 months ago
- Clean up the formatting of 'show' output☆21Updated 7 months ago
- Map and Set over contiguous memory☆21Updated last year
- Structured logging solution.☆35Updated last week
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- Extensible type-safe unions for Haskell☆33Updated last week
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A monad, perhaps.☆32Updated 5 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Applicative lexer☆13Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆9Updated last year
- Stream editing with Haskell Attoparsec parsers☆14Updated last year
- First Class Record Fields in Haskell☆17Updated 2 weeks ago
- ☆10Updated last year
- Functions and newtype wrappers for traversing Trees☆30Updated 6 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- ☆35Updated 6 months ago