utahplt / chorexLinks
Choreographic programming in Elixir
☆25Updated last week
Alternatives and similar repositories for chorex
Users that are interested in chorex are comparing it to the libraries listed below
Sorting:
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 8 months ago
- Allows for easy interop with Erlang records.☆26Updated last year
- Session Types in Elixir☆50Updated last year
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- ☆31Updated 2 years ago
- GenStage producers for EventStoreDB 20+ with Spear☆15Updated 11 months ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Elixir Extended Protocol☆49Updated last year
- A pipe-macro for Elixir that allows bare function captures☆45Updated 4 years ago
- Math expression parser and evaluator☆23Updated 7 years ago
- ☆27Updated 7 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Distributed graph execution in Elixir☆46Updated 2 weeks ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- An implementation of SPARQL for Elixir☆40Updated last month
- Download, verify, and extract GitHub release artifacts effortlessly right from Elixir☆34Updated last year
- A build.zig compiler for Mix☆20Updated 2 months ago
- Elixir library to build Plug-like pipelines☆18Updated last week
- A numerical integrator written in Elixir for the solution of sets of non-stiff ordinary differential equations (ODEs).☆35Updated 3 months ago
- Lightweight tracing, debugging and profiling utility for Erlang☆38Updated 2 months ago
- Decompile Elixir modules to Erlang abstract code☆36Updated 3 years ago
- Erlang node discovery and connection/reconnection☆18Updated 5 months ago
- Call Erlang/Elixir functions from NIF.☆18Updated 2 months ago