BeFunctional / haskell-foreign-rustLinks
☆14Updated 2 years ago
Alternatives and similar repositories for haskell-foreign-rust
Users that are interested in haskell-foreign-rust are comparing it to the libraries listed below
Sorting:
- ☆16Updated 2 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week
- Haskell wrapper for iced☆35Updated 2 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 8 months ago
- ⚖️ Trial Data Type☆21Updated 2 months ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- Haskell implementation of the KDL Document Language☆24Updated last week
- A modern Haskell debugger☆31Updated 3 months ago
- Fine-grained Haskell builds with Nix's dynamic derivations☆38Updated 3 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 4 months ago
- ☆30Updated last month
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Command line interface library in Idris☆31Updated last year
- Javascript DOM bindings for Idris2☆53Updated last month
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- GHC plugin to make stream fusion more predictable☆18Updated 6 months ago
- Interpret Haskell programs into any cartesian closed category.☆63Updated 2 weeks ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- Lua backend for Idris 2☆28Updated 3 years ago
- ☆20Updated last month
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 3 months ago
- Types for ldtk☆15Updated last year
- A library for benign effects in Haskell☆20Updated 3 months ago
- An automatic declarative ASCIInema recorder☆45Updated 2 months ago
- Single Page Web Applications in Idris☆26Updated 10 months ago
- ☆15Updated last week