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 3 weeks ago
- ☆17Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- implementation deriving for idris2☆12Updated 4 years ago
- Convert values from one type into another.☆77Updated this week
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 4 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- GRIN backend for Idris2☆33Updated 3 years ago
- Command line interface library in Idris☆32Updated last year
- Cap'n Proto for Haskell☆95Updated 2 years ago
- Haskell wrapper for iced☆36Updated 6 months ago
- this is not a working lens library☆11Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆54Updated 2 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- ☆30Updated 5 years ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 3 months ago
- ☆49Updated 4 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Idris port of Haskell's sop-core library☆37Updated 4 months ago
- ☆16Updated 2 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago