vrnithinkumar / ETCLinks
ETC
☆16Updated 4 years ago
Alternatives and similar repositories for ETC
Users that are interested in ETC are comparing it to the libraries listed below
Sorting:
- Erlang TOML Parser☆22Updated 2 years ago
- Static typechecker for Erlang☆56Updated this week
- Master thesis on developing a static type checker for Erlang☆27Updated 6 years ago
- A simple parser combinator package written in Gleam.☆17Updated 3 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 3 years ago
- Core runtime of Erlscripten - ERTS emulation☆15Updated 3 years ago
- Erlang code generator for Idris 2☆142Updated last year
- ☆24Updated 4 months ago
- A parse transform to introduce module aliasing into Erlang code☆10Updated 4 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Updated 3 years ago
- Session Types in Elixir☆49Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 12 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Updated 3 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆10Updated last year
- A type checker for Elixir☆34Updated 2 years ago
- ☆33Updated 2 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- A simple OCaml library for writing Erlang port drivers☆43Updated 5 years ago
- ☆10Updated this week
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Erlang web playground http://tryerl.seriyps.ru/☆34Updated 3 months ago
- Use Erlang typespecs in the runtime☆38Updated 10 months ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Updated 6 years ago
- THIS IS A WORK OF FICTION AND NOT an extensible, self-documenting, type-safe configuration manager for Erlang☆18Updated 8 months ago
- Tree-sitter Grammar for Erlang☆33Updated 2 years ago
- 🧰 Build Gleam code with rebar3☆15Updated 3 years ago
- Allows for easy interop with Erlang records.☆26Updated 2 years ago