josefs / GradualizerLinks
A Gradual type system for Erlang
☆618Updated 3 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☆848Updated 6 months ago
- Bootstrapped algebraic data types for Elixir☆337Updated 2 years ago
- A type-checker for Erlang☆531Updated 3 weeks ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆528Updated 6 months ago
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆661Updated 11 months ago
- Property based Testing for Elixir (based upon PropEr)☆386Updated 3 months ago
- Data specification and generation☆699Updated 2 months ago
- An automated code formatter for Erlang☆427Updated last week
- Gradient is a static typechecker for Elixir☆439Updated 2 years ago
- An Elixir library for defining structs with a type without writing boilerplate code.☆754Updated last year
- Common combinators for Elixir☆320Updated 3 years ago
- Data generation and property-based testing for Elixir. 🔮☆908Updated last month
- An Elixir implementation of the raft consensus protocol☆433Updated 5 years ago
- Simple, robust and performant Erlang web server☆335Updated 8 months ago
- Utilities to manipulate Elixir source code☆352Updated 2 months ago
- Dynamic dispatching library for metrics and instrumentations.☆894Updated 2 months ago
- Use DeltaCrdt to build distributed applications in Elixir☆534Updated last year
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆582Updated last week
- Runtime configuration system for Elixir☆595Updated 2 years ago
- Set up your BEAM-based GitHub Actions workflow (Erlang, Elixir, Gleam, ...)☆418Updated 2 weeks ago
- A blazing fast matrix library for Elixir/Erlang with C implementation using CBLAS.☆484Updated 5 years ago
- A pure Elixir implementation of Google Protobuf.☆882Updated 2 weeks ago
- Execute and control OS processes from Erlang/OTP☆569Updated this week
- A mocking library for Elixir☆520Updated 3 weeks ago
- JSON Object Signing and Encryption (JOSE) for Erlang and Elixir☆322Updated 4 months ago
- Elegant error/exception handling in Elixir, with result monads.☆602Updated 5 years ago
- Provides context-aware information for code completion, documentation, go/jump to definition, signature info and more☆321Updated last week
- Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).☆541Updated last year
- Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.☆543Updated 3 years ago
- Mnesia wrapper for Elixir.☆704Updated 2 years ago