WhatsApp / eqwalizerLinks
A type-checker for Erlang
☆538Updated last month
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☆445Updated last month
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆443Updated last week
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆539Updated last year
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆530Updated 11 months ago
- Erlang Language Platform. LSP server and CLI.☆371Updated this week
- A simple and fast library for text-based parser combinators☆866Updated 2 months ago
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- Web framework for Erlang.☆274Updated 2 weeks ago
- Concuerror is a stateless model checking tool for Erlang programs.☆340Updated 4 months ago
- Simple, robust and performant Erlang web server☆332Updated last year
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆690Updated last year
- Utilities to manipulate Elixir source code☆368Updated 7 months ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆428Updated last month
- A tiny resource-pool implementation for Elixir☆375Updated 4 months ago
- The Erlang Language Server☆660Updated 5 months ago
- Bootstrapped algebraic data types for Elixir☆336Updated 3 years ago
- A blazing fast JSON parser and generator in pure Erlang.☆168Updated last year
- Execute and control OS processes from Erlang/OTP☆580Updated 2 months ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆775Updated last month
- Extension of the Elixir standard library focused on data stuctures, data manipulation and performance☆221Updated 2 months ago
- Dynamic dispatching library for metrics and instrumentations.☆903Updated 2 months ago
- Data generation and property-based testing for Elixir. 🔮☆924Updated 3 months ago
- Data specification and generation☆699Updated 3 weeks ago
- A toolkit for writing command-line user interfaces.☆494Updated 3 months ago
- Use DeltaCrdt to build distributed applications in Elixir☆549Updated last year
- A fast consistent hash ring implementation in Elixir.☆563Updated 9 months ago
- Horde is a distributed Supervisor and Registry backed by Postgres☆1,456Updated 2 months ago
- An Erlang implementation of RAFT from WhatsApp☆602Updated this week