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
- A simple and fast library for text-based parser combinators☆836Updated last month
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆526Updated last month
- Bootstrapped algebraic data types for Elixir☆338Updated 2 years ago
- Property based Testing for Elixir (based upon PropEr)☆382Updated 9 months ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆645Updated 7 months ago
- Data specification and generation☆689Updated 2 weeks ago
- Data generation and property-based testing for Elixir. 🔮☆897Updated last month
- Common combinators for Elixir☆320Updated 2 years ago
- Gradient is a static typechecker for Elixir☆440Updated last year
- An Elixir library for defining structs with a type without writing boilerplate code.☆746Updated last year
- Dynamic dispatching library for metrics and instrumentations.☆882Updated 2 months ago
- Horde is a distributed Supervisor and Registry backed by DeltaCrdt☆1,339Updated 5 months ago
- Runtime configuration system for Elixir☆594Updated last year
- Integrated certification via Let's encrypt for Elixir-powered sites☆477Updated 8 months ago
- An Elixir implementation of the raft consensus protocol☆429Updated 5 years ago
- Elixir implementation of Money with Currency☆580Updated this week
- Use DeltaCrdt to build distributed applications in Elixir☆522Updated 9 months ago
- Manage and restrain cross-module dependencies in Elixir projects☆887Updated 5 months ago
- A mocking library for Elixir☆465Updated 3 months ago
- An Elixir rate-limiter with pluggable backends☆819Updated 2 weeks ago
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆713Updated last week
- A type-checker for Erlang☆522Updated this week
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆483Updated 4 years ago
- Easy clustering, registration, and distribution of worker processes for Erlang/Elixir☆1,220Updated 2 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆577Updated last year
- Arbitrary precision decimal arithmetic☆469Updated last month
- Upgrade your pipelines with monads.☆310Updated 3 years ago
- An Elixir Prometheus metrics collection library built on top of Telemetry with accompanying Grafana dashboards☆643Updated 4 months ago
- A pure Elixir implementation of Google Protobuf.☆852Updated last month
- erlang tracing for the masses☆693Updated last year