sphaso / noetherLinks
Algebra utilities for Elixir
☆23Updated last year
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below
Sorting:
- Csv schema is a library helping you to build Ecto.Schema-like modules having a csv file as source☆28Updated last week
- Session Types in Elixir☆48Updated 2 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Parameterized modules for Elixir☆68Updated 5 years ago
- Compile Elixir statically☆34Updated 4 years ago
- A utility for working with nested data structures.☆197Updated 5 months ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Functional Elixir☆41Updated 3 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- ☆53Updated 5 years ago
- Typed Runtime configuration for Elixir/Erlang☆14Updated 7 years ago
- opinionated typing library for elixir☆110Updated last year
- PropEr model helper library to validate implementations of supervisor trees☆64Updated 7 years ago
- Gradualizer Mix Wrapper☆69Updated 6 years ago
- Elixir plotting utilities library☆94Updated last year
- Tool for analysing commanded projects and representing in flow diagram.☆29Updated 2 years ago
- Static Typechecker for Elixir☆85Updated 5 years ago
- A type checker for Elixir☆34Updated 2 years ago
- A simple game made with PhoenixLiveView☆20Updated 4 years ago
- ☆32Updated last week
- ☆20Updated 3 years ago
- 📐 schematic☆91Updated 4 months ago
- SSH connect to your Elixir/Erlang VM☆38Updated 4 years ago
- Code from the Event Sourcing With Elixir blog series☆53Updated 2 years ago
- Rust powered JSON library for Elixir☆133Updated 11 months ago
- Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…☆86Updated last year
- ☆25Updated 3 years ago
- Read model projections for Commanded using Ecto☆91Updated 8 months ago
- Rustler example. Implements file IO in a NIF.☆86Updated last year
- A library to declaratively write testable effects☆96Updated 2 months ago