josefs / GradualizerLinks
A Gradual type system for Erlang
☆618Updated 6 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☆859Updated 3 weeks ago
- Bootstrapped algebraic data types for Elixir☆336Updated 3 years ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 9 months ago
- Property based Testing for Elixir (based upon PropEr)☆389Updated 6 months ago
- A type-checker for Erlang☆535Updated last week
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆676Updated last year
- Data specification and generation☆698Updated 3 weeks ago
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- Data generation and property-based testing for Elixir. 🔮☆919Updated last month
- Common combinators for Elixir☆318Updated 3 years ago
- An automated code formatter for Erlang☆434Updated last month
- An Elixir library for defining structs with a type without writing boilerplate code.☆759Updated last week
- Dynamic dispatching library for metrics and instrumentations.☆899Updated 3 weeks ago
- Utilities to manipulate Elixir source code☆365Updated 5 months ago
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆486Updated 5 years ago
- An Elixir implementation of the raft consensus protocol☆432Updated 6 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆586Updated 3 months ago
- Concuerror is a stateless model checking tool for Erlang programs.☆340Updated last month
- Use DeltaCrdt to build distributed applications in Elixir☆545Updated last year
- An HTML DSL for Elixir and Phoenix☆502Updated 2 months ago
- Elegant error/exception handling in Elixir, with result monads.☆604Updated 5 years ago
- Runtime configuration system for Elixir☆594Updated 2 years ago
- A graph data structure library for Elixir projects☆560Updated last year
- Integrated certification via Let's encrypt for Elixir-powered sites☆489Updated 4 months ago
- Execute and control OS processes from Erlang/OTP☆577Updated 3 weeks ago
- Elixir language support and debugger for VS Code, powered by ElixirLS.☆583Updated 3 weeks ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆425Updated this week
- Ecto 3 adapter allowing use of Ecto schemas held in ETS tables☆384Updated last year
- Mnesia wrapper for Elixir.☆705Updated 3 years ago
- Elixir implementation of Money with Currency☆591Updated last week