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
- TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.☆531Jan 27, 2025Updated last year
- 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
- A Gradual type system for Erlang☆620Apr 23, 2025Updated 10 months ago
- Gradualizer Mix Wrapper☆69Oct 31, 2019Updated 6 years ago
- 🏝 automated contract testing via type checking for Elixir functions and mocks☆587Jul 26, 2025Updated 7 months ago
- Ecto 3 adapter allowing use of Ecto schemas held in ETS tables☆384Jan 8, 2026Updated last month
- A linter with autocorrection and a refactoring tool.☆317Oct 29, 2025Updated 4 months ago
- Utilities to manipulate Elixir source code☆368Feb 21, 2026Updated last week
- An Elixir library for defining structs with a type without writing boilerplate code.☆766Dec 18, 2025Updated 2 months ago
- Calendar functions for CLDR☆17Feb 12, 2026Updated 2 weeks ago
- A simple implementation for taking the output from 'git diff' and transforming it into Elixir structs.☆22Oct 31, 2024Updated last year
- A tiny library for validating and documenting high-level options☆553Dec 26, 2025Updated 2 months ago
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆37Feb 1, 2020Updated 6 years ago
- Library to build GraphQL queries and mutations from Elixir structs☆36Aug 29, 2023Updated 2 years ago
- Hornet is a simple library for stress testing☆33Apr 10, 2023Updated 2 years ago
- Data specification and generation☆698Feb 2, 2026Updated last month
- Custom parenting of processes in Elixir☆276Oct 4, 2024Updated last year
- 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
- ☆157Feb 4, 2023Updated 3 years ago
- Elixir Extended Protocol☆49Jan 23, 2026Updated last month
- Simple Elixir ordinalization of numbers to their ordinalized forms☆12Dec 22, 2020Updated 5 years ago
- by 0xfafafa☆15Dec 10, 2017Updated 8 years ago
- Manage and restrain cross-module dependencies in Elixir projects☆959Jul 15, 2025Updated 7 months ago
- Elixir HTTP client, focused on performance☆1,347Updated this week
- Runtime configuration system for Elixir☆596Apr 10, 2023Updated 2 years ago
- Gradient is a static typechecker for Elixir☆439Jul 14, 2023Updated 2 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Jul 22, 2020Updated 5 years ago
- A streamlined Spotify client and browser with a focus on performance and integrations.☆214Dec 28, 2022Updated 3 years ago
- Xema is a schema validator for Elixir inspired by JSON Schema.☆83Feb 19, 2026Updated last week
- Adaptive concurrency limits for elixir☆173Nov 29, 2023Updated 2 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Jun 23, 2019Updated 6 years ago
- Elixir-based SPA sites without the SPA☆10Jan 6, 2023Updated 3 years ago
- A visual tool to help developers understand Elixir recompilation in their projects☆211Sep 15, 2024Updated last year
- A function decorator for telemetry☆15Nov 8, 2022Updated 3 years ago
- Compile Elixir applications into single, easily distributed executable binaries☆1,422Sep 18, 2024Updated last year
- One task to efficiently run all code analysis & testing tools in an Elixir project. Born out of 💜 to Elixir and pragmatism.☆323Jul 21, 2024Updated last year