BeFunctional / haskell-foreign-rust
☆10Updated 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
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆21Updated last month
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 6 months ago
- A type-safe and friendly ECS for Haskell☆22Updated this week
- Handy macro to generate C-FFI bindings to Rust for Haskell☆67Updated last week
- Inspecting tool for GHC compilation pipeline☆31Updated last year
- Type-safe WebAssembly eDSL in Haskell☆23Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 weeks ago
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- ☆16Updated 3 years ago
- A TOML parser for Idris 2☆15Updated 6 months ago
- Algebraic effects in the Bluefin effect system☆14Updated 8 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A library for benign effects in Haskell☆20Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated last year
- Clipboard synchronization tool☆12Updated last year
- ☆13Updated 3 months ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last month
- Session types framework with support of protocol pipelining.☆15Updated last week
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- ☆22Updated last year
- Experiment in Nix formatting☆22Updated 5 years ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 6 months ago
- Formalising the WASM spec in Lean☆18Updated 6 months ago
- srv is a tiny web server for local deployments☆9Updated 2 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- ☆30Updated 3 years ago
- Automation for releasing haskell packages☆18Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆24Updated 2 years ago