josefs / Gradualizer
A Gradual type system for Erlang
☆617Updated 5 months ago
Alternatives and similar repositories for Gradualizer:
Users that are interested in Gradualizer are comparing it to the libraries listed below
- Bootstrapped algebraic data types for Elixir☆339Updated 2 years ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆526Updated last month
- A simple and fast library for text-based parser combinators☆832Updated last month
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆645Updated 6 months ago
- Data generation and property-based testing for Elixir. 🔮☆897Updated last month
- Property based Testing for Elixir (based upon PropEr)☆381Updated 9 months ago
- Common combinators for Elixir☆321Updated 2 years ago
- Data specification and generation☆689Updated this week
- An Elixir implementation of the raft consensus protocol☆429Updated 5 years ago
- Gradient is a static typechecker for Elixir☆439Updated last year
- Dynamic dispatching library for metrics and instrumentations.☆882Updated last month
- Runtime configuration system for Elixir☆593Updated last year
- Use DeltaCrdt to build distributed applications in Elixir