opinionated typing library for elixir
☆110Apr 20, 2024Updated last year
Alternatives and similar repositories for mavis
Users that are interested in mavis are comparing it to the libraries listed below
Sorting:
- Static Typechecker for Elixir☆85Oct 21, 2020Updated 5 years ago
- A type checker for Elixir☆34Mar 24, 2023Updated 2 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆587Jul 26, 2025Updated 7 months ago
- Gradualizer Mix Wrapper☆69Oct 31, 2019Updated 6 years ago
- Calendar functions for CLDR☆17Feb 12, 2026Updated last month
- A linter with autocorrection and a refactoring tool.☆316Oct 29, 2025Updated 4 months ago
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆531Jan 27, 2025Updated last year
- A Gradual type system for Erlang☆620Apr 23, 2025Updated 10 months ago
- Ecto 3 adapter allowing use of Ecto schemas held in ETS tables☆384Jan 8, 2026Updated 2 months ago
- CI/CD toolkit as a library☆242Oct 31, 2023Updated 2 years ago
- A library to validate values of nested structs with their type spec t() and associated precondition functions☆215Nov 2, 2025Updated 4 months ago
- Utilities to manipulate Elixir source code☆369Mar 6, 2026Updated 2 weeks ago
- Elixir Extended Protocol☆49Jan 23, 2026Updated last month
- A simple implementation for taking the output from 'git diff' and transforming it into Elixir structs.☆22Oct 31, 2024Updated last year
- Data specification and generation☆697Mar 9, 2026Updated last week
- A tiny library for validating and documenting high-level options☆556Mar 12, 2026Updated last week
- An Elixir library for defining structs with a type without writing boilerplate code.☆767Dec 18, 2025Updated 3 months ago
- Elixir HTTP client, focused on performance☆1,348Updated this week
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆37Feb 1, 2020Updated 6 years ago
- ☆159Feb 4, 2023Updated 3 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Jul 22, 2020Updated 5 years ago
- Compile Elixir applications into single, easily distributed executable binaries☆1,422Sep 18, 2024Updated last year
- Custom parenting of processes in Elixir☆276Oct 4, 2024Updated last year
- A visual tool to help developers understand Elixir recompilation in their projects☆211Sep 15, 2024Updated last year
- A streamlined Spotify client and browser with a focus on performance and integrations.☆214Dec 28, 2022Updated 3 years ago
- Gradient is a static typechecker for Elixir☆439Jul 14, 2023Updated 2 years ago
- Runtime configuration system for Elixir☆596Apr 10, 2023Updated 2 years ago
- 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
- Manage and restrain cross-module dependencies in Elixir projects☆963Jul 15, 2025Updated 8 months ago
- A function decorator for telemetry☆15Nov 8, 2022Updated 3 years ago
- Hornet is a simple library for stress testing☆33Apr 10, 2023Updated 2 years ago
- A tiny resource-pool implementation for Elixir☆381Sep 5, 2025Updated 6 months ago
- A flexible way to query your schemas☆13Jan 16, 2020Updated 6 years ago
- 🍵 First-class Elixir match specifications.☆91Mar 26, 2025Updated 11 months ago
- Get all modules implementing an Elixir behaviour☆14May 12, 2020Updated 5 years ago
- Sorceress, wife to Jason, tiny logger of nicely formatted structured messages.☆15Feb 2, 2026Updated last month
- Library to build GraphQL queries and mutations from Elixir structs☆36Aug 29, 2023Updated 2 years ago
- Adaptive concurrency limits for elixir☆173Nov 29, 2023Updated 2 years ago
- BeamFile - A peek into the BEAM file☆116Feb 19, 2026Updated last month