gertab / ElixirSTLinks
Session Types in Elixir
☆47Updated 2 years ago
Alternatives and similar repositories for ElixirST
Users that are interested in ElixirST are comparing it to the libraries listed below
Sorting:
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- Compile Elixir statically☆34Updated 5 years ago
- Static typechecker for Erlang☆58Updated 2 weeks ago
- ☆20Updated 3 years ago
- Parameterized modules for Elixir☆68Updated 5 years ago
- PropEr model helper library to validate implementations of supervisor trees☆64Updated 7 years ago
- Project for tracking the work of the Observability Working Group☆64Updated 3 years ago
- ☆32Updated last month
- Lightweight tracing, debugging and profiling utility for Erlang☆42Updated 3 weeks ago
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆48Updated last year
- BEAM VM telemetry collector☆72Updated last month
- 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
- Naively-evaluated Datalog, implemented in Elixir☆31Updated last year
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆73Updated 2 months ago
- A tool for composing and executing workflows at runtime for Elixir.☆41Updated 2 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated 2 years ago
- A markdown compiler for the people☆25Updated 3 years ago
- Allows for easy interop with Erlang records.☆25Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Partition testing tool for elixir☆72Updated 2 years ago
- Elixir Extended Protocol☆49Updated last year
- Erlang/OTP transpiled to Elixir using EFE (Elixir Flavoured Erlang)☆25Updated 4 years ago
- Static Typechecker for Elixir☆85Updated 5 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 6 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Updated 3 years ago
- Automatic NIF generator using Eir and LLVM☆53Updated 6 years ago
- Erlang library to create and connect an arbitrary cluster of nodes☆42Updated 3 months ago
- Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…☆89Updated 2 years ago
- systemd utilities for Erlang applications☆189Updated 5 months ago