WhatsApp / erltLinks
Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
☆127Updated 4 years ago
Alternatives and similar repositories for erlt
Users that are interested in erlt are comparing it to the libraries listed below
Sorting:
- A blazing fast JSON parser and generator in pure Erlang.☆167Updated 11 months ago
- Tree-sitter Grammar for Erlang☆88Updated 2 months ago
- Adopting Erlang service discovery project☆59Updated 9 months ago
- Session Types in Elixir☆49Updated last year
- Erlang Postgres client and connection pool☆90Updated last month
- Erlang Formatter for Rebar3☆113Updated 3 months ago
- The core of an Erlang linter☆70Updated last week
- systemd utilities for Erlang applications☆186Updated last month
- Reference implementation of Hex specifications.☆101Updated 8 months ago
- BEAM VM telemetry collector☆72Updated 3 months ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business☆125Updated 4 months ago
- Project for tracking the work of the Observability Working Group☆63Updated 3 years ago
- Create, configure, and manage AWS services from Erlang code.☆84Updated last week
- Static typechecker for Erlang☆56Updated this week
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Rebar3 Hex library☆101Updated 2 months ago
- The Visual Studio Code Extension for the Erlang Language Server☆80Updated 10 months ago
- Distributed systems infrastructure used by Riak.☆80Updated 2 months ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- Gradualizer Mix Wrapper☆69Updated 5 years ago
- Static Typechecker for Elixir☆85Updated 4 years ago
- Automatic NIF generator using Eir and LLVM☆52Updated 6 years ago
- Documentation of Erlang Abstract Format☆29Updated 6 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- PropEr model helper library to validate implementations of supervisor trees☆64Updated 7 years ago
- ☆158Updated 2 years ago
- ☆20Updated 3 years ago
- Compile Elixir statically☆34Updated 4 years ago