rethab / bindings-dslLinks
Library and macros to simplify writing Haskell FFI code
☆40Updated 2 years ago
Alternatives and similar repositories for bindings-dsl
Users that are interested in bindings-dsl are comparing it to the libraries listed below
Sorting:
- Text-based interactive GHC .prof viewer☆48Updated 2 years ago
- ☆45Updated 3 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Serializable closures for distributed programming.☆65Updated last year
- Compile git revision info into Haskell projects☆49Updated last year
- Unpacked containers using backpack☆52Updated 5 years ago
- ☆50Updated last month
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 7 months ago
- ghc --make reimplemented with Shake☆32Updated last year
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Support for file uploads in multipart/form-data for servant☆40Updated last year
- ☆68Updated last month
- ☆54Updated 6 years ago
- ☆76Updated last month
- Type-safe time units in Haskell☆50Updated 7 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- Open records for Haskell☆22Updated 7 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated 2 years ago
- Extensible type-safe unions for Haskell☆34Updated 5 months ago
- Zippers based on lenses and traversals☆40Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Reification of data structures using observable sharing☆29Updated 10 months ago
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 5 years ago
- A command-line tool for live monitoring☆25Updated 3 months ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago