WhatsApp / eqwalizerLinks
A type-checker for Erlang
☆535Updated 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☆619Updated 7 months ago
- An automated code formatter for Erlang☆437Updated this week
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆437Updated 2 weeks ago
- Erlang Language Platform. LSP server and CLI.☆353Updated this week
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆527Updated 10 months ago
- Web framework for Erlang.☆270Updated 2 months ago
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆541Updated last year
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- Concuerror is a stateless model checking tool for Erlang programs.☆340Updated 2 months ago
- A simple and fast library for text-based parser combinators☆862Updated last month
- Utilities to manipulate Elixir source code☆365Updated 6 months ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆426Updated last week
- Thousand Island is a pure Elixir socket server☆939Updated 3 weeks ago
- The Erlang Language Server☆662Updated 3 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Bootstrapped algebraic data types for Elixir☆336Updated 3 years ago
- Elixir language support and debugger for VS Code, powered by ElixirLS.☆584Updated last week
- A tiny resource-pool implementation for Elixir☆373Updated 2 months ago
- Simple, robust and performant Erlang web server☆332Updated last year
- Dynamic dispatching library for metrics and instrumentations.☆901Updated last month
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆685Updated last year
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆773Updated 2 weeks ago
- High-performance, high-scalability distributed computing for the BEAM.☆996Updated 3 months ago
- A fast consistent hash ring implementation in Elixir.☆559Updated 8 months ago
- Data generation and property-based testing for Elixir. 🔮☆918Updated last month
- An Erlang implementation of RAFT from WhatsApp☆596Updated this week
- Erlang Enhancement Proposals☆272Updated 3 months ago
- Data specification and generation☆698Updated last month
- Efficient Process.monitor replacement☆201Updated 2 years ago
- Horde is a distributed Supervisor and Registry backed by Postgres☆1,444Updated 2 weeks ago