vrnithinkumar / ETC
ETC
☆17Updated 3 years ago
Alternatives and similar repositories for ETC:
Users that are interested in ETC are comparing it to the libraries listed below
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- 🧊 Типізоване -גчислення☆16Updated last year
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- ☆10Updated last week
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated last week
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- ☆23Updated 3 years ago
- N2O: Application Server☆11Updated 2 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Erlang code generator for Idris 2☆141Updated last year
- A parse transform to introduce module aliasing into Erlang code☆10Updated 4 years ago
- ☆32Updated last year
- Static typechecker for Erlang☆52Updated last month
- 🧊 Чиста система з всесвітами☆145Updated 3 weeks ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Updated last year
- Erlang TOML Parser☆22Updated last year
- Bindings to Cowboy server☆12Updated last year
- 🧰 Build Gleam code with rebar3☆15Updated 3 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Communicate with Erlang node from Haskell☆12Updated 4 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- The UI for Unison Share☆31Updated this week
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago