WhatsApp / eqwalizerLinks
A type-checker for Erlang
☆537Updated 2 weeks ago
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☆620Updated 8 months ago
- An automated code formatter for Erlang☆442Updated 3 weeks ago
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆442Updated last week
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆540Updated last year
- Erlang Language Platform. LSP server and CLI.☆357Updated last week
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 10 months ago
- Web framework for Erlang.☆273Updated last week
- Utilities to manipulate Elixir source code☆366Updated 7 months ago
- A simple and fast library for text-based parser combinators☆865Updated 2 months ago
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- Concuerror is a stateless model checking tool for Erlang programs.☆340Updated 3 months ago
- The Erlang Language Server☆660Updated 4 months ago
- A tiny resource-pool implementation for Elixir☆375Updated 3 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆427Updated last week
- Simple, robust and performant Erlang web server☆332Updated last year
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆687Updated last year
- An Erlang implementation of RAFT from WhatsApp☆601Updated last week
- Thousand Island is a pure Elixir socket server☆947Updated last week
- A fast consistent hash ring implementation in Elixir.☆563Updated 8 months ago
- High-performance, high-scalability distributed computing for the BEAM.☆996Updated 4 months ago
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆775Updated 3 weeks ago
- Data specification and generation☆698Updated 2 weeks ago
- Data generation and property-based testing for Elixir. 🔮☆919Updated 2 months ago
- Bootstrapped algebraic data types for Elixir☆336Updated 3 years ago
- Dynamic dispatching library for metrics and instrumentations.☆904Updated 2 months ago
- OpenTelemetry Erlang SDK☆385Updated last week
- A blazing fast JSON parser and generator in pure Erlang.☆168Updated last year
- An Elixir implementation of the raft consensus protocol☆433Updated 6 years ago
- A toolkit for writing command-line user interfaces.☆491Updated 2 months ago