yvan-sraka / hs-bindgenLinks
Handy macro to generate C-FFI bindings to Rust for Haskell
☆70Updated 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!☆108Updated last week
- Haskell implementation of the KDL Document Language☆26Updated last week
- Convert values from one type into another.☆77Updated last week
- ☆17Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated last month
- Cap'n Proto for Haskell☆95Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- GRIN backend for Idris2☆33Updated 3 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆54Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated last year
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 4 years ago
- Haskell wrapper for iced☆36Updated 6 months ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- Exploring the options for incremental Haskell builds using Nix☆108Updated 3 years ago
- Improving all Haskell's programmer interfaces☆74Updated 10 months ago
- implementation deriving for idris2☆12Updated 4 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 3 years ago
- Command line interface library in Idris☆32Updated last year
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- 📺 The power of Haskell in your terminal!☆44Updated last month
- A structured concurrency library☆86Updated 9 months ago
- Idris port of Haskell's sop-core library☆37Updated 3 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Updated 3 weeks ago
- ☆87Updated 4 years ago
- ☆30Updated 5 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago