BeFunctional / haskell-foreign-rustLinks
☆13Updated 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
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 2 months 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 weeks ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 6 months ago
- Haskell implementation of the KDL Document Language☆22Updated 2 years ago
- Haskell wrapper for iced☆35Updated 2 weeks ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Example uses of linear types☆43Updated 4 years ago
- ☆16Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 8 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 6 months ago
- Types for ldtk☆15Updated last year
- A TOML parser for Idris 2☆17Updated 11 months ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- A library for benign effects in Haskell☆20Updated 3 weeks ago
- Command line interface library in Idris☆31Updated 10 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆25Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- A usable type system for call by push-value☆33Updated 5 years ago
- Patience diff and longest increasing subsequence☆12Updated last year
- Inspecting tool for GHC compilation pipeline☆34Updated last year
- A modern Haskell debugger☆30Updated last month
- ☆10Updated 2 months ago
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- 📺 The power of Haskell in your terminal!☆43Updated last month