purerl / purescript-erl-process
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
- Transactional cache with configurable persistence☆46Updated last year
- Type level natural numbers and booleans☆33Updated 5 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Fixpoint data types☆20Updated 2 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Interactive documentation with Flare☆8Updated 7 years ago
- A Map data structure at the type level.☆8Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 6 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- Haskell type introduction illustrated☆17Updated 7 years ago
- Safe printf-like formatting in purescript☆37Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 2 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago
- Kleene algebra, regular expressions☆32Updated last year
- ☆23Updated 7 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆25Updated 2 years ago
- Aff wrappers for purescript-node-fs☆21Updated last year
- Deep evaluation of data structures☆41Updated 5 months ago
- A monad for managed values☆50Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Updated 8 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- Leibniz Equality☆18Updated 6 years ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Zippers based on lenses and traversals☆38Updated last year