WhatsApp / eqwalizerLinks
A type-checker for Erlang
☆525Updated 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☆620Updated last month
- An automated code formatter for Erlang☆423Updated last month
- A simple and fast library for text-based parser combinators☆845Updated 4 months ago
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆542Updated 11 months ago
- Gradient is a static typechecker for Elixir☆441Updated last year
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆404Updated this week
- Thousand Island is a pure Elixir socket server☆889Updated this week
- Web framework for Erlang.☆237Updated 3 weeks ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆529Updated 4 months ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆652Updated 9 months ago
- Bootstrapped algebraic data types for Elixir☆337Updated 2 years ago
- A pure Elixir implementation of Google Protobuf.☆866Updated 3 weeks ago
- Data specification and generation☆697Updated last week
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆410Updated this week
- Dynamic dispatching library for metrics and instrumentations.☆889Updated 2 weeks 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.☆470Updated 3 months ago
- Concuerror is a stateless model checking tool for Erlang programs.☆339Updated last month
- A tiny resource-pool implementation for Elixir☆359Updated last year
- Horde is a distributed Supervisor and Registry backed by DeltaCrdt☆1,358Updated 7 months ago
- Erlang Language Platform. LSP server and CLI.☆292Updated this week
- SQL-based adapters for Ecto and database migrations☆623Updated 2 weeks ago
- Use DeltaCrdt to build distributed applications in Elixir☆530Updated last year
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆727Updated 2 weeks ago
- Execute and control OS processes from Erlang/OTP☆559Updated 2 months ago
- A Circuit Breaker for Erlang☆510Updated 3 years ago
- Data generation and property-based testing for Elixir. 🔮☆900Updated 3 weeks ago
- High-performance, high-scalability distributed computing for the BEAM.☆966Updated this week
- Cursor-based pagination for Elixir Ecto☆794Updated 2 months ago
- Utilities to manipulate Elixir source code☆345Updated last week