josefs / GradualizerLinks
A Gradual type system for Erlang
☆620Updated 2 months ago
Alternatives and similar repositories for Gradualizer
Users that are interested in Gradualizer are comparing it to the libraries listed below
Sorting:
- Bootstrapped algebraic data types for Elixir☆337Updated 2 years ago
- A simple and fast library for text-based parser combinators☆845Updated 4 months ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 4 months ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆654Updated 10 months ago
- Property based Testing for Elixir (based upon PropEr)☆384Updated 2 months ago
- Data generation and property-based testing for Elixir. 🔮☆902Updated this week
- Data specification and generation☆699Updated 3 weeks ago
- An Elixir implementation of the raft consensus protocol☆432Updated 5 years ago
- Gradient is a static typechecker for Elixir☆440Updated last year
- Common combinators for Elixir☆320Updated 3 years ago
- Runtime configuration system for Elixir☆595Updated 2 years ago
- Utilities to manipulate Elixir source code☆351Updated last month
- An Elixir library for defining structs with a type without writing boilerplate code.☆752Updated last year
- An automated code formatter for Erlang☆424Updated last week
- An easy-to-use Elixir HTTP client, built on the low-level Mint library.☆343Updated 3 years ago
- Integrated certification via Let's encrypt for Elixir-powered sites☆484Updated 11 months ago
- A mocking library for Elixir☆509Updated 3 weeks ago
- Concuerror is a stateless model checking tool for Erlang programs.☆339Updated 2 months ago
- An Elixir rate-limiter with pluggable backends☆853Updated 3 weeks ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆412Updated last week
- An HTML DSL for Elixir and Phoenix☆496Updated 3 weeks ago
- Manage and restrain cross-module dependencies in Elixir projects☆911Updated 8 months ago
- Dynamic dispatching library for metrics and instrumentations.☆891Updated last month
- Use DeltaCrdt to build distributed applications in Elixir☆530Updated last year
- Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.☆544Updated 3 years ago
- Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more☆317Updated this week
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆579Updated last year
- A tiny resource-pool implementation for Elixir☆360Updated last year
- Arbitrary precision decimal arithmetic☆470Updated 4 months ago
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆405Updated 3 weeks ago