BeFunctional / haskell-foreign-rust
☆11Updated last year
Alternatives and similar repositories for haskell-foreign-rust:
Users that are interested in haskell-foreign-rust are comparing it to the libraries listed below
- ☆15Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆68Updated this week
- Fast higher-order effect handlers with evidence passing☆18Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Haskell counters that can be safely incremented from multiple threads☆18Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆15Updated 9 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 2 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Clipboard synchronization tool☆12Updated last year
- ☆16Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 7 months ago
- Session types framework with support of protocol pipelining.☆16Updated 2 weeks ago
- A cross-platform driver for Tauri in Haskell☆49Updated 7 months ago
- Type-safe WebAssembly eDSL in Haskell☆23Updated 4 months ago
- 📺 The power of Haskell in your terminal!☆42Updated last month
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- ⚖️ Trial Data Type☆20Updated last month
- A library for benign effects in Haskell☆20Updated last week
- Example uses of linear types☆43Updated 4 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Opinionated package manager for haskell (WIP)☆17Updated last year
- todo and unimplemented, robustly implemented☆33Updated 5 months ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- A functional scripting language.☆18Updated last month
- Automation for releasing haskell packages☆18Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago