BeFunctional / haskell-rust-ffiLinks
☆17Updated 2 years ago
Alternatives and similar repositories for haskell-rust-ffi
Users that are interested in haskell-rust-ffi are comparing it to the libraries listed below
Sorting:
- ☆16Updated 2 years ago
- Haskell wrapper for iced☆36Updated 4 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- A modern Haskell debugger☆31Updated 5 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- A library for benign effects in Haskell☆20Updated 5 months ago
- Haskell implementation of the KDL Document Language☆25Updated 2 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 10 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 7 months ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated last month
- todo and unimplemented, robustly implemented☆36Updated last year
- The Montreal Haskell Compiler☆27Updated last week
- A Haskell 2010 type checker☆17Updated last year
- 📺 The power of Haskell in your terminal!☆44Updated 5 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆106Updated last week
- Automatically generated Nix expressions for Hackage☆21Updated last week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 7 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Batteries-included structured logging library☆31Updated last week
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- ☆16Updated 3 years ago
- Functor-parametric containers☆20Updated 9 months ago
- ☆41Updated last year
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- ☆26Updated 2 years ago
- Command line interface library in Idris☆31Updated last year
- Javascript DOM bindings for Idris2☆52Updated last week