opinionated typing library for elixir
☆110Apr 20, 2024Updated 2 years ago
Alternatives and similar repositories for mavis
Users that are interested in mavis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Static Typechecker for Elixir☆85Oct 21, 2020Updated 5 years ago
- A type checker for Elixir☆34Mar 24, 2023Updated 3 years ago
- Gradualizer Mix Wrapper☆69Oct 31, 2019Updated 6 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆595Aug 3, 2026Updated last week
- A linter with autocorrection and a refactoring tool.☆316Oct 29, 2025Updated 9 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆531Jan 27, 2025Updated last year
- Ecto 3 adapter allowing use of Ecto schemas held in ETS tables☆387Jan 8, 2026Updated 7 months ago
- A Gradual type system for Erlang☆618Mar 24, 2026Updated 4 months ago
- Calendar functions for CLDR☆17Jun 26, 2026Updated last month
- A library to validate values of nested structs with their type spec t() and associated precondition functions☆217Nov 2, 2025Updated 9 months ago
- CI/CD toolkit as a library☆242Oct 31, 2023Updated 2 years ago
- A simple implementation for taking the output from 'git diff' and transforming it into Elixir structs.☆22Oct 31, 2024Updated last year
- Elixir Extended Protocol☆49Jan 23, 2026Updated 6 months ago
- Utilities to manipulate Elixir source code☆376Jun 16, 2026Updated last month
- 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.
- Data specification and generation☆701Apr 13, 2026Updated 3 months ago
- A tiny library for validating and documenting high-level options☆561Aug 1, 2026Updated last week
- An Elixir library for defining structs with a type without writing boilerplate code.☆769Dec 18, 2025Updated 7 months ago
- Elixir HTTP client, focused on performance☆1,360Jun 17, 2026Updated last month
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆37Feb 1, 2020Updated 6 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Jul 22, 2020Updated 6 years ago
- ☆161Feb 4, 2023Updated 3 years ago
- Custom parenting of processes in Elixir☆281Jun 1, 2026Updated 2 months ago
- Compile Elixir applications into single, easily distributed executable binaries☆1,418Sep 18, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library to create Comfortable, Explicit, Multi-Layered and Well-Documented Specifications for all your configurations, settings and opt…☆34Sep 27, 2020Updated 5 years ago
- A visual tool to help developers understand Elixir recompilation in their projects☆213Sep 15, 2024Updated last year
- Runtime configuration system for Elixir☆597Apr 10, 2023Updated 3 years ago
- A streamlined Spotify client and browser with a focus on performance and integrations.☆213Dec 28, 2022Updated 3 years ago
- Gradient is a static typechecker for Elixir☆438Jul 14, 2023Updated 3 years ago
- A flexible way to query your schemas☆13Jan 16, 2020Updated 6 years ago
- A function decorator for telemetry☆15Nov 8, 2022Updated 3 years ago
- Manage and restrain cross-module dependencies in Elixir projects☆984Jun 27, 2026Updated last month
- 🍵 First-class Elixir match specifications.☆92Mar 26, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Hornet is a simple library for stress testing☆33Apr 10, 2023Updated 3 years ago
- A tiny resource-pool implementation for Elixir☆388Jul 28, 2026Updated 2 weeks ago
- Sorceress, wife to Jason, tiny logger of nicely formatted structured messages.☆15Mar 31, 2026Updated 4 months ago
- Library to build GraphQL queries and mutations from Elixir structs☆36Aug 29, 2023Updated 2 years ago
- Unobtrusive Dependency Injector for Elixir☆56Apr 10, 2024Updated 2 years ago
- Get all modules implementing an Elixir behaviour☆14May 20, 2026Updated 2 months ago
- BeamFile - A peek into the BEAM file☆118Feb 19, 2026Updated 5 months ago