yvan-sraka / hs-bindgenLinks
Handy macro to generate C-FFI bindings to Rust for Haskell
☆69Updated this 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☆25Updated 3 weeks ago
- Cap'n Proto for Haskell☆95Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- Convert values from one type into another.☆77Updated last month
- ☆16Updated 2 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- GRIN backend for Idris2☆33Updated 3 years ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- todo and unimplemented, robustly implemented☆36Updated last year
- implementation deriving for idris2☆12Updated 4 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Haskell wrapper for iced☆36Updated 3 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- this is not a working lens library☆12Updated 2 years ago
- ☆14Updated 2 years ago
- A Haskell 2010 type checker☆17Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Improving all Haskell's programmer interfaces☆73Updated 7 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Command line interface library in Idris☆31Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆59Updated 2 months ago
- Idris port of Haskell's sop-core library☆36Updated last month
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Inigo: A Package Manager for Idris2☆62Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 3 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- ☆88Updated 3 years ago