Szetty / erlang-ffiLinks
Communicate with Erlang node from Haskell
☆13Updated 4 years ago
Alternatives and similar repositories for erlang-ffi
Users that are interested in erlang-ffi are comparing it to the libraries listed below
Sorting:
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Invertible parsing for S-expressions☆34Updated 9 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 7 years ago
- A curated list of PureScript packages for the Erlang backend☆10Updated 3 years ago
- ☆15Updated 3 months ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- An opinionated OTP framework wrapper☆26Updated 11 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 10 months ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last month
- Dependently typed elimination functions using singletons☆28Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 4 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- ☆23Updated 2 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Updated 8 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 2 months ago
- A simple, purely-functional programming language☆25Updated 3 years ago