BeFunctional / haskell-foreign-rust
☆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
- ☆16Updated 2 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- Automatically generated Nix expressions for Hackage☆21Updated this week
- Require that callers propagate `HasCallStack` constraints☆21Updated 4 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 3 weeks ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 2 months ago
- A TOML parser for Idris 2☆17Updated 10 months ago
- Types for ldtk☆15Updated last year
- ☆16Updated 3 years ago
- Existential type.☆37Updated 4 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Session types framework with support of protocol pipelining.☆15Updated 2 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- Haskell wrapper for iced☆33Updated 3 weeks ago
- Type-safe WebAssembly eDSL in Haskell☆26Updated 6 months ago
- An attempt to reimagine knowledge interaction.☆18Updated 4 years ago
- A functional scripting language.☆18Updated 3 months ago
- Patience diff and longest increasing subsequence☆12Updated last year
- Automation for releasing haskell packages☆18Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week
- Boring and Absurd types☆17Updated 4 months ago
- A library for benign effects in Haskell☆20Updated 3 months ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- ⚖️ Trial Data Type☆20Updated last month
- Clipboard synchronization tool☆12Updated last week