id3as / purescript-erl-pinto
An opinionated OTP framework wrapper
☆26Updated 2 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
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Bindings to Cowboy server☆12Updated last year
- A tool to automatically convert Hex packages to the Nix Expression format☆32Updated 4 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Communicate with Erlang node from Haskell☆12Updated 4 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- purerl bindings to basic Erlang process functionality☆13Updated 2 years ago
- Logic programming with µKanren☆11Updated 4 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Elmer compiler☆12Updated 8 years ago
- A Mix plugin to use Caramel☆16Updated 3 years ago
- ☆19Updated 7 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- ☆13Updated 5 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Sandboxable Mix (Elixir) project Nix evaluator☆16Updated 3 months ago
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- A wide ranging comparison-by-example of the typesystem features in various FP languages. Initially Purescript and Typescript.☆18Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Lua parser and pretty-printer☆15Updated 10 months ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Erlang External Term Format for OCaml☆29Updated last year
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Updated 11 months ago