gertab / ElixirST
Session Types in Elixir
☆49Updated last year
Alternatives and similar repositories for ElixirST:
Users that are interested in ElixirST are comparing it to the libraries listed below
- Small, simple, unsampled metrics☆74Updated last week
- Lightweight tracing, debugging and profiling utility for Erlang☆37Updated last month
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated 2 years ago
- Compile Elixir statically☆34Updated 4 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 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
- Project for tracking the work of the Observability Working Group☆62Updated 3 years ago
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆64Updated 2 months ago
- An opinionated, production-ready HTTP client for Elixir services☆35Updated last week
- Partition testing tool for elixir☆72Updated last year
- Constraint programming solver☆58Updated this week
- Static typechecker for Erlang☆51Updated last week
- ☆58Updated last month
- Automatic NIF generator using Eir and LLVM☆53Updated 5 years ago
- Gradualizer Mix Wrapper☆68Updated 5 years ago
- Refactoring Operations for Elixir☆40Updated 3 years ago
- Erlang/OTP transpiled to Elixir using EFE (Elixir Flavoured Erlang)☆25Updated 3 years ago
- Parameterized modules for Elixir☆69Updated 4 years ago
- A companion for Mnesia and ETS☆39Updated last year
- Decompile Elixir modules to Erlang abstract code☆36Updated 3 years ago
- Queue data structure for Elixir-lang☆34Updated last week
- ☆20Updated 2 years ago
- An opinionated library to build features as pipelines.☆33Updated 2 years ago
- Constructs a multipart message, such an HTTP form data request or multipart email☆52Updated 7 months ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- PropEr model helper library to validate implementations of supervisor trees☆65Updated 6 years ago
- ML application sample with LiveView and Axon☆48Updated 2 years ago
- 🍵 First-class Elixir match specifications.☆91Updated 2 months ago
- Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with vary…☆85Updated last year
- An Elixir library for defining structs and records with a type without writing boilerplate code.☆31Updated 8 months ago