josefs / GradualizerLinks
A Gradual type system for Erlang
☆620Updated 9 months ago
Alternatives and similar repositories for Gradualizer
Users that are interested in Gradualizer are comparing it to the libraries listed below
Sorting:
- A simple and fast library for text-based parser combinators☆866Updated 3 months ago
- Bootstrapped algebraic data types for Elixir☆335Updated 3 years ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆530Updated last year
- Property based Testing for Elixir (based upon PropEr)☆392Updated 9 months ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆691Updated last year
- A type-checker for Erlang☆538Updated last month
- Data specification and generation☆699Updated this week
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- Common combinators for Elixir☆317Updated 3 years ago
- Data generation and property-based testing for Elixir. 🔮☆926Updated 3 months ago
- Execute and control OS processes from Erlang/OTP☆582Updated 3 months ago
- An automated code formatter for Erlang☆445Updated 2 months ago
- Use DeltaCrdt to build distributed applications in Elixir☆549Updated last year
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆430Updated last month
- Simple, robust and performant Erlang web server☆332Updated last year
- Dynamic dispatching library for metrics and instrumentations.☆902Updated 3 months ago
- Utilities to manipulate Elixir source code☆368Updated 8 months ago
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆488Updated 5 years ago
- An Elixir implementation of the raft consensus protocol☆433Updated 6 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆586Updated 6 months ago
- An Elixir library for defining structs with a type without writing boilerplate code.☆766Updated last month
- Mnesia wrapper for Elixir.☆707Updated 3 years ago
- Elegant error/exception handling in Elixir, with result monads.☆605Updated 6 years ago
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆443Updated this week
- Runtime configuration system for Elixir☆596Updated 2 years ago
- A tiny resource-pool implementation for Elixir☆375Updated 4 months ago
- A tiny library for validating and documenting high-level options☆549Updated last month
- Concuerror is a stateless model checking tool for Erlang programs.☆340Updated 4 months ago
- A mocking library for Elixir☆549Updated last week
- An HTML DSL for Elixir and Phoenix☆507Updated last month