purerl / purescript-erl-processLinks
purerl bindings to basic Erlang process functionality
☆13Updated 2 years ago
Alternatives and similar repositories for purescript-erl-process
Users that are interested in purescript-erl-process are comparing it to the libraries listed below
Sorting:
- ☆23Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- ☆15Updated 8 months ago
- PureScript Erlang hello world☆13Updated 6 years ago
- Deep evaluation of data structures☆41Updated 3 weeks ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Fixpoint data types☆20Updated 6 months ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 6 months ago
- Try Idris☆35Updated 9 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 4 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 8 months ago
- Interactive documentation with Flare☆8Updated 7 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year