WhatsApp / eqwalizerLinks
A type-checker for Erlang
☆531Updated last week
Alternatives and similar repositories for eqwalizer
Users that are interested in eqwalizer are comparing it to the libraries listed below
Sorting:
- A Gradual type system for Erlang☆617Updated 4 months ago
- An automated code formatter for Erlang☆429Updated last month
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆422Updated 2 weeks ago
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆540Updated last year
- Web framework for Erlang.☆266Updated 2 weeks ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 7 months ago
- A simple and fast library for text-based parser combinators☆854Updated last week
- Erlang Language Platform. LSP server and CLI.☆318Updated this week
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆419Updated last week
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- A tiny resource-pool implementation for Elixir☆363Updated last year
- Thousand Island is a pure Elixir socket server☆911Updated last week
- Bootstrapped algebraic data types for Elixir☆336Updated 2 years ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆672Updated last year
- Concuerror is a stateless model checking tool for Erlang programs.☆338Updated 4 months ago
- Utilities to manipulate Elixir source code☆357Updated 3 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- A toolkit for writing command-line user interfaces.☆488Updated this week
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆749Updated 3 weeks ago
- A blazing fast JSON parser and generator in pure Erlang.☆167Updated 11 months ago
- An Elixir implementation of the raft consensus protocol☆432Updated 5 years ago
- Simple, robust and performant Erlang web server☆333Updated 9 months ago
- Data specification and generation☆700Updated 2 weeks ago
- OpenTelemetry Erlang SDK☆368Updated last week
- 🐟 GRiSP Erlang Runtime Library☆282Updated last week
- Dynamic dispatching library for metrics and instrumentations.☆896Updated 3 months ago
- An Erlang implementation of RAFT from WhatsApp☆582Updated 2 weeks ago
- Execute and control OS processes from Erlang/OTP☆570Updated last month
- A fast consistent hash ring implementation in Elixir.☆552Updated 5 months ago
- My collection of Livebooks☆197Updated 2 months ago