id3as / purescript-erl-pinto
An opinionated OTP framework wrapper
☆25Updated 3 months ago
Related projects: ⓘ
- Skeleton app with contrived client/server examples☆19Updated last year
- Bindings to Cowboy server☆12Updated 10 months ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Communicate with Erlang node from Haskell☆12Updated 3 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆33Updated 4 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 3 years ago
- Haskell / Erlang interoperability library☆29Updated last year
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 2 years ago
- purerl bindings to basic Erlang process functionality☆12Updated 2 years ago
- Logic programming with µKanren☆11Updated 3 years ago
- A lightweight erlang runtime☆21Updated 3 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Sandboxable mix.lock and rebar.lock Nix generator☆17Updated 4 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆26Updated 11 years ago
- Elmer compiler☆12Updated 7 years ago
- jsone bindings for the Gleam language☆18Updated last year
- ☆19Updated 7 years ago
- rebar3 plugin for compiling alpaca modules☆11Updated 4 years ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆35Updated 2 years ago
- PureScript Erlang hello world☆13Updated 6 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated last year
- A Mix plugin to use Caramel☆17Updated 2 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 9 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆12Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- ☆14Updated this week
- A curated list of PureScript packages for the Erlang backend☆10Updated 2 years ago