vrnithinkumar / ETCLinks
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
Sorting:
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- ☆24Updated last month
- Static typechecker for Erlang☆53Updated last week
- Core runtime of Erlscripten - ERTS emulation☆15Updated 2 years ago
- Erlang code generator for Idris 2☆141Updated last year
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- 🧊 Типізоване -גчислення☆16Updated this week
- Documentation of Hamler☆77Updated last year
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A code-generator for Idris that targets Elixir☆63Updated 7 years ago
- 🧊 Чиста система з всесвітами☆147Updated this week
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Supervised Session Actors☆22Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 8 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆11Updated 3 years ago
- Transform Erlang or Elixir data into Gleam data☆27Updated 2 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆114Updated 2 years ago
- A type checker for Elixir☆33Updated 2 years ago
- AST, parser, pretty-printer for Core Erlang source code.☆28Updated 4 years ago
- jsone bindings for the Gleam language☆18Updated 2 years ago
- Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang☆38Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- A plug-and-play library for neural networks written in Gleam☆34Updated 8 months ago
- Allows for easy interop with Erlang records.☆26Updated last year
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆17Updated 5 months ago
- Session Types in Elixir☆50Updated last year
- ☆10Updated this week