josefs / Gradualizer
A Gradual type system for Erlang
☆619Updated last week
Alternatives and similar repositories for Gradualizer:
Users that are interested in Gradualizer are comparing it to the libraries listed below
- A simple and fast library for text-based parser combinators☆842Updated 3 months ago
- Bootstrapped algebraic data types for Elixir☆338Updated 2 years ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 3 months ago
- Data specification and generation☆695Updated 2 weeks ago
- Data generation and property-based testing for Elixir. 🔮☆899Updated last month
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆651Updated 8 months ago
- Property based Testing for Elixir (based upon PropEr)☆383Updated 2 weeks ago
- Gradient is a static typechecker for Elixir☆440Updated last year
- Common combinators for Elixir☆320Updated 2 years ago
- An Elixir implementation of the raft consensus protocol☆431Updated 5 years ago
- Runtime configuration system for Elixir☆596Updated 2 years ago
- An Elixir library for defining structs with a type without writing boilerplate code.☆747Updated last year
- An HTML DSL for Elixir and Phoenix☆496Updated last week
- Dynamic dispatching library for metrics and instrumentations.☆885Updated 3 months ago
- Manage and restrain cross-module dependencies in Elixir projects☆902Updated 7 months ago
- Horde is a distributed Supervisor and Registry backed by DeltaCrdt☆1,349Updated 6 months ago
- A type-checker for Erlang☆524Updated last week
- Integrated certification via Let's encrypt for Elixir-powered sites☆480Updated 10 months ago
- Use DeltaCrdt to build distributed applications in Elixir☆525Updated 11 months ago
- Elegant error/exception handling in Elixir, with result monads.☆605Updated 5 years ago
- Elixir implementation of Money with Currency☆583Updated last month
- Mnesia wrapper for Elixir.☆702Updated 2 years ago
- Data Validation for Elixir☆604Updated last year
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆483Updated 4 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆579Updated last year
- DataLoader for Elixir☆494Updated 4 months ago
- Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.☆544Updated 3 years ago
- An Elixir rate-limiter with pluggable backends☆831Updated this week
- A dependency-free tool to run distributed transactions in Elixir, inspired by Sagas pattern.☆944Updated last month
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆718Updated this week