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:
- Transactional cache with configurable persistence☆46Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- ☆23Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Deep evaluation of data structures☆41Updated last week
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- Haskell type introduction illustrated☆17Updated 8 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- ☆15Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- phantom types☆38Updated 4 months ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆33Updated 4 months ago
- ☆15Updated 8 months ago
- A simple build system for Idris☆22Updated 4 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Haskell types and parsers for software version numbers.☆21Updated 4 months ago