id3as / purescript-erl-pintoLinks
An opinionated OTP framework wrapper
☆26Updated 9 months ago
Alternatives and similar repositories for purescript-erl-pinto
Users that are interested in purescript-erl-pinto are comparing it to the libraries listed below
Sorting:
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- Haskell / Erlang interoperability library☆30Updated 2 years ago
- Communicate with Erlang node from Haskell☆13Updated 4 years ago
- Bindings to Cowboy server☆12Updated last year
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- A statically-typed lisp for the BEAM☆12Updated 4 years ago
- Haskell subset compiled to the Beam machine.☆42Updated 11 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 5 years ago
- PureScript Erlang hello world☆13Updated 7 years ago
- ☆15Updated 3 weeks ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- All the worlds currencies.☆13Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A curated list of PureScript packages for the Erlang backend☆10Updated 3 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- μKanren in Elm☆43Updated 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 3 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆18Updated 6 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 10 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- ☆13Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- A Mix plugin to use Caramel☆15Updated 3 years ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated last year