gertab / ElixirST
Session Types in Elixir
☆50Updated last year
Alternatives and similar repositories for ElixirST:
Users that are interested in ElixirST are comparing it to the libraries listed below
- Lightweight tracing, debugging and profiling utility for Erlang☆38Updated last month
- ☆20Updated 2 years ago
- An opinionated, production-ready HTTP client for Elixir services☆38Updated last month
- Constructs a multipart message, such an HTTP form data request or multipart email☆52Updated 10 months ago
- Project for tracking the work of the Observability Working Group☆62Updated 3 years ago
- Gradualizer Mix Wrapper☆69Updated 5 years ago
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated 2 years ago
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆64Updated 4 months ago
- Partition testing tool for elixir☆71Updated 2 years ago
- A companion for Mnesia and ETS☆40Updated last year
- Small, simple, unsampled metrics☆77Updated this week
- An Elixir library for defining structs and records with a type without writing boilerplate code.☆33Updated 2 months ago
- ☆58Updated last month
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Erlang Fast JSON parser☆36Updated 2 months ago
- Compile Elixir statically☆34Updated 4 years ago
- Community-maintained pre-compiled Erlang/OTP for macOS☆40Updated this week
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 7 months ago
- 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
- Alternative to ports for running external programs. It provides back-pressure, non-blocking io, and solves port related issues☆166Updated 4 months ago
- Automatic NIF generator using Eir and LLVM☆53Updated 6 years ago
- Elixir implementation of TypeIDs: type-safe, K-sortable, and globally unique identifiers inspired by Stripe IDs☆65Updated 5 months ago
- Snapshot testing for Elixir☆118Updated 2 months ago
- Constraint programming solver☆59Updated this week
- ML application sample with LiveView and Axon☆49Updated 2 years ago
- Static typechecker for Erlang☆53Updated last week
- Parameterized modules for Elixir☆69Updated 5 years ago
- 📐 schematic☆91Updated last month
- Functional Elixir☆40Updated 3 years ago
- Error tolerant parser for Elixir☆82Updated last month