WhatsApp / eqwalizer
A type-checker for Erlang
☆519Updated this week
Alternatives and similar repositories for eqwalizer:
Users that are interested in eqwalizer are comparing it to the libraries listed below
- A Gradual type system for Erlang☆614Updated 4 months ago
- An automated code formatter for Erlang☆422Updated 3 weeks ago
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆384Updated 2 weeks ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆526Updated 3 weeks ago
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆541Updated 8 months ago
- Erlang Language Platform. LSP server and CLI.☆269Updated this week
- Concuerror is a stateless model checking tool for Erlang programs.☆335Updated this week
- A simple and fast library for text-based parser combinators☆829Updated 2 weeks ago
- Gradient is a static typechecker for Elixir☆439Updated last year
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆701Updated last week
- Web framework for Erlang.☆237Updated this week
- A tiny resource-pool implementation for Elixir☆350Updated 10 months ago
- A fast consistent hash ring implementation in Elixir.☆529Updated 2 years ago
- Elixir HTTP client, focused on performance☆1,300Updated this week
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆394Updated 3 weeks ago
- Utilities to manipulate Elixir source code☆335Updated 3 months ago
- Thousand Island is a pure Elixir socket server☆867Updated this week
- An Elixir rate-limiter with pluggable backends☆806Updated this week
- A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests☆354Updated 3 weeks ago
- Data specification and generation☆690Updated this week
- The Erlang Language Server☆642Updated 4 months ago
- Data generation and property-based testing for Elixir. 🔮☆896Updated 2 weeks ago
- A toolkit for writing command-line user interfaces.☆453Updated last week
- Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more☆314Updated this week
- Simple, robust and performant Erlang web server☆329Updated 3 months ago
- Dynamic dispatching library for metrics and instrumentations.☆882Updated last month
- High-performance, high-scalability distributed computing for the BEAM.☆948Updated this week
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆642Updated 5 months ago
- Bootstrapped algebraic data types for Elixir☆340Updated 2 years ago
- Efficient Process.monitor replacement☆192Updated last year