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!☆106Updated last week
- Haskell implementation of the KDL Document Language☆25Updated last week
- ☆17Updated 2 years ago
- GRIN backend for Idris2☆33Updated 3 years ago
- Cap'n Proto for Haskell☆95Updated 2 years ago
- implementation deriving for idris2☆12Updated 4 years ago
- Javascript DOM bindings for Idris2☆52Updated 3 weeks ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 4 years ago
- Convert values from one type into another.☆77Updated 2 weeks ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Haskell wrapper for iced☆36Updated 5 months ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Idris port of Haskell's sop-core library☆36Updated 3 months ago
- A structured concurrency library☆85Updated 8 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Command line interface library in Idris☆32Updated last year
- ☆16Updated 2 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A Haskell 2010 type checker☆17Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- ☆26Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 8 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Updated 4 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- A core language and API for dependently typed languages☆96Updated 8 months ago
- this is not a working lens library☆11Updated 2 years ago
- Manage your PureScript projects with Nix!☆79Updated 6 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 2 months ago