gertab / ElixirST
Session Types in Elixir
☆48Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ElixirST
- An opinionated, production-ready HTTP client for Elixir services☆32Updated this week
- Compile Elixir statically☆35Updated 3 years ago
- Project for tracking the work of the Observability Working Group☆61Updated 2 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Functions for working with calendar intervals☆71Updated 4 years ago
- Gradualizer Mix Wrapper☆68Updated 5 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 2 months ago
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated last year
- matchspec library for elixir☆20Updated 9 months ago
- Static typechecker for Erlang☆50Updated this week
- A markdown compiler for the people☆25Updated 2 years ago
- ☆56Updated 3 months ago
- A tiny image library using stb_image as the backend☆44Updated last month
- A set of helper modules that enable you to work with distributed elixir and c-nodes.☆35Updated 4 years ago
- Automatic NIF generator using Eir and LLVM☆53Updated 5 years ago
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆60Updated 3 weeks ago
- Tree-sitter Grammar for Erlang☆81Updated 3 weeks ago
- Handy enumerable operations implementation.☆71Updated 2 years ago
- Partition testing tool for elixir☆72Updated last year
- ☆20Updated 2 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated 11 months ago
- ML application sample with LiveView and Axon☆48Updated 2 years ago
- A sandbox for Elixir☆37Updated 3 years ago
- Functional Elixir☆40Updated 2 years ago
- New data types with real encapsulation. Create smart constructors, private and immutable fields, sum types and many other fun things. Ins…☆39Updated 4 years ago
- A companion for Mnesia and ETS☆39Updated last year
- Elixir Extended Protocol☆49Updated 5 months ago
- The Elixir AST explorer☆78Updated last year
- A utility for defining eminently readable parameterized (or example-based) tests in Elixir☆55Updated this week
- Rational number library for Elixir.☆41Updated 8 months ago