Szetty / erlang-ffi
Communicate with Erlang node from Haskell
☆12Updated 3 years ago
Alternatives and similar repositories for erlang-ffi:
Users that are interested in erlang-ffi are comparing it to the libraries listed below
- Haskell bindings to Chez Scheme☆10Updated last year
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- An opinionated OTP framework wrapper☆26Updated 3 weeks ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 7 months ago
- Haskell counters that can be safely incremented from multiple threads☆18Updated 2 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Haskell bindings to Rust's regex library☆18Updated this week
- Bindings to Cowboy server☆12Updated last year
- Dependently typed elimination functions using singletons☆28Updated last month
- A curated list of PureScript packages for the Erlang backend☆10Updated 2 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Abstract, inspectable JSON representation of Haskell objects☆27Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last week
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A simple build system for Idris☆22Updated 3 years ago
- ☆23Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Generate fake recursion schemes☆12Updated 4 years ago