A Gradual type system for Erlang
☆619Mar 24, 2026Updated 7 months ago
Alternatives and similar repositories for Gradualizer
Users that are interested in Gradualizer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gradient is a static typechecker for Elixir☆438Jul 14, 2023Updated 3 years ago
- Gradualizer Mix Wrapper☆69Oct 31, 2019Updated 6 years ago
- A type-checker for Erlang☆547Jun 26, 2026Updated 4 months ago
- Dynamic dispatching library for metrics and instrumentations.☆923Sep 30, 2026Updated last month
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆533Jan 27, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Visualize Erlang/Elixir Nodes On The Command Line☆1,536Oct 7, 2026Updated 3 weeks ago
- An automated code formatter for Erlang☆467Oct 7, 2026Updated 3 weeks ago
- Concuerror is a stateless model checking tool for Erlang programs.☆351Jun 24, 2026Updated 4 months ago
- The Erlang Language Server☆658Aug 15, 2025Updated last year
- Data generation and property-based testing for Elixir. 🔮☆951Sep 8, 2026Updated last month
- High-performance, high-scalability distributed computing for the BEAM.☆1,054Oct 15, 2026Updated 2 weeks ago
- Data specification and generation☆701Apr 13, 2026Updated 6 months ago
- Mix tasks to simplify use of Dialyzer in Elixir projects.☆1,796Sep 21, 2026Updated last month
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆126May 14, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Elixir HTTP client, focused on performance☆1,365Sep 30, 2026Updated last month
- Functional programming inspired by ML for the Erlang VM☆1,469Jun 13, 2020Updated 6 years ago
- Erlang Formatter for Rebar3☆114May 16, 2025Updated last year
- Simple, robust and performant Erlang web server☆340Nov 15, 2024Updated last year
- opinionated typing library for elixir☆110Apr 20, 2024Updated 2 years ago
- A simple and fast library for text-based parser combinators☆883Aug 13, 2026Updated 2 months ago
- Static Typechecker for Elixir☆85Oct 21, 2020Updated 6 years ago
- Property based Testing for Elixir (based upon PropEr)☆393Apr 21, 2025Updated last year
- A pure Erlang Key/Value store - based on a LSM-tree, optimised for HEAD requests☆363Sep 3, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Utilities to manipulate Elixir source code☆381Oct 22, 2026Updated last week
- Functional HTTP client for Elixir with support for HTTP/1 and HTTP/2 🌱☆1,418Updated this week
- Manage and restrain cross-module dependencies in Elixir projects☆1,002Updated this week
- A scalable global Process Registry and Process Group manager for Erlang and Elixir.☆703Oct 18, 2026Updated last week
- A visual tracer and profiler for Erlang and Elixir.☆281Jun 9, 2026Updated 4 months ago
- A tiny resource-pool implementation for Elixir☆392Sep 7, 2026Updated last month
- Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.☆493Updated this week
- Collection of functions and scripts to debug Erlang in production.☆1,430Apr 23, 2026Updated 6 months ago
- An Elixir library for defining structs with a type without writing boilerplate code.☆770Dec 18, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Monads and other dark magic for Elixir☆1,237Aug 28, 2023Updated 3 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆598Sep 14, 2026Updated last month
- A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a sing…☆976Oct 22, 2026Updated last week
- A blazing fast JSON parser and generator in pure Elixir.☆1,679May 5, 2026Updated 5 months ago
- erlang tracing debugger☆225May 29, 2026Updated 5 months ago
- Erlang Enhancement Proposals☆283Oct 20, 2026Updated last week
- An alternative BEAM implementation, designed for WebAssembly☆3,582Oct 18, 2023Updated 3 years ago