yvan-sraka / cargo-cabal
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
☆103Updated this week
Alternatives and similar repositories for cargo-cabal:
Users that are interested in cargo-cabal are comparing it to the libraries listed below
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Flake template for Haskell repository☆34Updated 7 months ago
- A cross-platform driver for Tauri in Haskell☆50Updated 10 months ago
- Fast and concise extensible effects☆108Updated last year
- Convert values from one type into another.☆77Updated 2 weeks ago
- ☆96Updated last week
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆134Updated last month
- Javascript DOM bindings for Idris2☆53Updated 11 months ago
- A structured concurrency library☆86Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 3 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Automatically generate Haskell bindings from C header files☆44Updated this week
- Manage your PureScript projects with Nix!☆76Updated 2 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- A core language and API for dependently typed languages☆92Updated 2 months ago
- Check cross-references in repository documents☆56Updated last month
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆52Updated last month
- Native Haskell gRPC client and server based on `http2`☆70Updated last month
- Bindings to libsodium for Haskell☆36Updated last month
- Algebraic effects in the Bluefin effect system☆16Updated last year
- Haskell Functional Reactive Programming framework with type-level clocks☆129Updated this week
- A collection of Haskell's WATs☆92Updated 3 months ago
- ☆88Updated 3 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago