josefs / GradualizerLinks
A Gradual type system for Erlang
☆620Updated last month
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 3 months ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆529Updated 4 months ago
- Property based Testing for Elixir (based upon PropEr)☆383Updated last month
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆652Updated 9 months ago
- Data specification and generation☆697Updated this week
- Data generation and property-based testing for Elixir. 🔮☆900Updated 3 weeks ago
- Runtime configuration system for Elixir☆595Updated 2 years ago
- Integrated certification via Let's encrypt for Elixir-powered sites☆484Updated 11 months ago
- Gradient is a static typechecker for Elixir☆441Updated last year
- An Elixir implementation of the raft consensus protocol☆432Updated 5 years ago
- Use DeltaCrdt to build distributed applications in Elixir☆528Updated last year
- Common combinators for Elixir☆320Updated 2 years ago
- Utilities to manipulate Elixir source code☆345Updated last week
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆578Updated last year
- JSON Object Signing and Encryption (JOSE) for Erlang and Elixir☆321Updated 2 months ago
- A mocking library for Elixir☆492Updated this week
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆484Updated 4 years ago
- An HTML DSL for Elixir and Phoenix☆495Updated last month
- An Elixir library for defining structs with a type without writing boilerplate code.☆751Updated last year
- Manage and restrain cross-module dependencies in Elixir projects☆906Updated 7 months ago
- An automated code formatter for Erlang☆423Updated last month
- A type-checker for Erlang☆525Updated this week
- Horde is a distributed Supervisor and Registry backed by DeltaCrdt☆1,358Updated 7 months ago
- Arbitrary precision decimal arithmetic☆469Updated 3 months ago
- Ecto 3 adapter allowing use of Ecto schemas held in ETS tables☆381Updated last year
- An easy-to-use Elixir HTTP client, built on the low-level Mint library.☆343Updated 3 years ago
- Mnesia wrapper for Elixir.☆702Updated 2 years ago
- Dynamic dispatching library for metrics and instrumentations.☆888Updated 2 weeks ago
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆403Updated 2 weeks ago