gertab / ElixirST
Session Types in Elixir
☆46Updated 11 months ago
Related projects: ⓘ
- An opinionated, production-ready HTTP client for Elixir services☆32Updated last week
- 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
- Static typechecker for Erlang☆45Updated this week
- Elixir macros to effortlessly define highly optimized Enum pipelines☆51Updated last year
- Gradualizer Mix Wrapper☆68Updated 4 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…☆38Updated 4 years ago
- Naively-evaluated Datalog, implemented in Elixir☆30Updated last week
- Compile Elixir statically☆35Updated 3 years ago
- Partition testing tool for elixir☆72Updated last year
- Constructs a multipart message, such an HTTP form data request or multipart email☆50Updated 2 months ago
- PropEr model helper library to validate implementations of supervisor trees☆63Updated 6 years ago
- Lightweight tracing, debugging and profiling utility for Erlang☆36Updated last month
- Snapshot testing for Elixir☆81Updated 3 weeks ago
- Automatic NIF generator using Eir and LLVM☆52Updated 5 years ago
- Elixir Extended Protocol☆48Updated 3 months ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Functions for working with calendar intervals☆71Updated 4 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆39Updated 9 months ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 4 years ago
- A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules☆60Updated 3 weeks ago
- A tiny image library using stb_image as the backend☆43Updated 3 months ago
- A companion for Mnesia and ETS☆36Updated last year
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A set of helper modules that enable you to work with distributed elixir and c-nodes.☆35Updated 4 years ago
- Erlang/OTP 25+ PostgreSQL client☆49Updated 9 months ago
- ☆55Updated last month
- A tool for rapid profiling of Erlang and Elixir applications☆112Updated 3 months ago
- Well-Behaved Native Implemented Functions for Elixir☆32Updated 5 years ago