WhatsApp / erlt
Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
☆127Updated 3 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 8 months ago
- Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business☆123Updated last month
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- Tree-sitter Grammar for Erlang☆88Updated last month
- Erlang Postgres client and connection pool☆85Updated 3 months ago
- Erlang Benchmarking Suite. Simpler way to say "this code is faster".☆129Updated 9 months ago
- A parser combinator library for Elixir projects☆199Updated last year
- The core of an Erlang linter☆66Updated this week
- Erlang Formatter for Rebar3☆111Updated 6 months ago
- Create, configure, and manage AWS services from Erlang code.☆84Updated this week
- Reference implementation of Hex specifications.☆100Updated 5 months ago
- Rebar3 Hex library☆101Updated 2 weeks ago
- A RocksDB backend plugin for mnesia, based on mnesia_eleveldb☆154Updated 5 months ago
- A utility for working with nested data structures.☆192Updated 2 years ago
- The Visual Studio Code Extension for the Erlang Language Server☆79Updated 7 months ago
- Session Types in Elixir☆50Updated last year
- Static typechecker for Erlang☆53Updated this week
- Documentation of Erlang Abstract Format☆29Updated 6 years ago
- A distributed KV store for Erlang and Elixir.☆120Updated last year
- Tool for generating interfaces between native C code and Elixir☆81Updated 6 months ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆69Updated 5 years ago
- A simple Maybe monad for Elixir.☆100Updated last year
- Distributed systems infrastructure used by Riak.☆81Updated 3 years ago
- Mnesia autoclustering made easy!☆134Updated last year
- An Erlang to Elixir transpiler☆93Updated 4 years ago
- Project for tracking the work of the Observability Working Group☆62Updated 3 years ago
- The Erlang Dead Code Cleaner☆68Updated 10 months ago
- argparse: simple framework to create complex CLI☆60Updated last year
- Distributed Erlang without the EPMD☆181Updated last year