yvan-sraka / hs-bindgenLinks
Handy macro to generate C-FFI bindings to Rust for Haskell
☆69Updated last week
Alternatives and similar repositories for hs-bindgen
Users that are interested in hs-bindgen are comparing it to the libraries listed below
Sorting:
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated this week
- Haskell implementation of the KDL Document Language☆24Updated last week
- Convert values from one type into another.☆76Updated 2 weeks ago
- ☆16Updated 2 years ago
- Javascript DOM bindings for Idris2☆53Updated last month
- Cap'n Proto for Haskell☆96Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Haskell wrapper for iced☆35Updated 2 months ago
- Command line interface library in Idris☆31Updated last year
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 4 months ago
- GRIN backend for Idris2☆34Updated 3 years ago
- ☆14Updated 2 years ago
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆58Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 4 months ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 2 months ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 10 months ago
- Idris port of Haskell's sop-core library☆36Updated last week
- implementation deriving for idris2☆11Updated 4 years ago
- ☆25Updated last year