josefs / Gradualizer
A Gradual type system for Erlang
☆614Updated 4 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☆829Updated 2 weeks ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆526Updated 3 weeks ago
- Data generation and property-based testing for Elixir. 🔮☆896Updated 2 weeks ago
- Bootstrapped algebraic data types for Elixir☆340Updated 2 years ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆641Updated 5 months ago
- Data specification and generation☆690Updated last week
- Property based Testing for Elixir (based upon PropEr)☆381Updated 8 months ago
- Gradient is a static typechecker for Elixir☆439Updated last year
- Common combinators for Elixir☆322Updated 2 years ago
- An Elixir library for defining structs with a type without writing boilerplate code.☆742Updated last year
- Dynamic dispatching library for metrics and instrumentations.☆881Updated last month
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆571Updated last year
- Integrated certification via Let's encrypt for Elixir-powered sites☆477Updated 7 months ago
- Use DeltaCrdt to build distributed applications in Elixir☆517Updated 8 months ago
- Elixir implementation of Money with Currency☆578Updated last week
- Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more☆314Updated this week
- Elegant error/exception handling in Elixir, with result monads.☆603Updated 5 years ago
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆482Updated 4 years ago
- Manage and restrain cross-module dependencies in Elixir projects☆878Updated 4 months ago
- An Elixir rate-limiter with pluggable backends☆806Updated this week
- Mnesia wrapper for Elixir.☆699Updated 2 years ago
- Runtime configuration system for Elixir☆592Updated last year
- Horde is a distributed Supervisor and Registry backed by DeltaCrdt☆1,335Updated 4 months ago
- In-memory and distributed caching toolkit for Elixir.☆1,269Updated 2 weeks ago
- Job Queue for Elixir. Clustered or Local. Straight BEAM. Optional Ecto. 💪🍈☆721Updated last year
- An @elixir-lang code-style enforcer that will just FIFY instead of complaining☆701Updated this week
- A mocking library for Elixir☆461Updated last month
- An Elixir implementation of the raft consensus protocol☆429Updated 5 years ago
- Easy clustering, registration, and distribution of worker processes for Erlang/Elixir☆1,217Updated 2 years ago
- Arbitrary precision decimal arithmetic☆468Updated last week