yvan-sraka / cargo-cabalLinks
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
☆104Updated last week
Alternatives and similar repositories for cargo-cabal
Users that are interested in cargo-cabal are comparing it to the libraries listed below
Sorting:
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- A cross-platform driver for Tauri in Haskell☆51Updated 11 months ago
- Convert values from one type into another.☆76Updated last month
- Fast and concise extensible effects☆108Updated 2 years ago
- ☆108Updated 2 weeks ago
- Native Haskell gRPC client and server based on `http2`☆73Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Flake template for Haskell repository☆37Updated 8 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 2 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆137Updated 3 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- Algebraic effects in the Bluefin effect system☆18Updated last year
- Automatically generate Haskell bindings from C header files☆49Updated this week
- Manage your PureScript projects with Nix!☆76Updated last month
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Effects libraries in Haskell☆71Updated last year
- ☆88Updated 3 years ago
- A core language and API for dependently typed languages☆94Updated 4 months ago
- A re-implementation of weeder using HIE files☆177Updated last week
- A structured concurrency library☆85Updated 3 months ago
- ☆158Updated last week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- Retrying for humans using Haskell.☆46Updated last year
- Improving all Haskell's programmer interfaces☆74Updated 5 months ago
- Fast parsing from bytestrings☆161Updated 2 months ago
- Javascript DOM bindings for Idris2☆52Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 6 months ago
- A collection of Haskell's WATs☆92Updated 5 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆129Updated last year