Typelixir / typelixirLinks
Compile Elixir statically
☆34Updated 4 years ago
Alternatives and similar repositories for typelixir
Users that are interested in typelixir are comparing it to the libraries listed below
Sorting:
- Session Types in Elixir☆50Updated last year
- Gradualizer Mix Wrapper☆69Updated 5 years ago
- Static Typechecker for Elixir☆85Updated 4 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…☆87Updated last year
- A type checker for Elixir☆33Updated 2 years ago
- Parameterized modules for Elixir☆69Updated 5 years ago
- ☆20Updated 3 years ago
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated 2 years ago
- opinionated typing library for elixir☆110Updated last year
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 5 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- Mutation testing for Elixir☆68Updated 2 years ago
- A simple cache with ttls on items based on ets and timers. Tested with property model testing.☆1Updated 5 years ago
- A markdown compiler for the people☆25Updated 3 years ago
- Just a mix command for running dialyzer :)☆19Updated 7 years ago
- An Elixir client for the Nu HTML Checker (v.Nu).☆55Updated 2 weeks ago
- Elixir Extended Protocol☆49Updated last year
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- Multiple different implementations of efficient functional queues and dequeues for Elixir☆34Updated 2 years ago
- Partition testing tool for elixir☆71Updated 2 years ago
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆65Updated 7 months ago
- Library to easily intercept Elixir function calls☆43Updated 4 years ago
- Rational number library for Elixir.☆41Updated last year
- List of inconsistencies found throughout the Elixir programming language☆28Updated 6 years ago
- PropEr model helper library to validate implementations of supervisor trees☆64Updated 7 years ago
- Handy enumerable operations implementation.☆72Updated 5 months ago
- Automatic NIF generator using Eir and LLVM☆53Updated 6 years ago