utahplt / chorexLinks
Choreographic programming in Elixir
☆30Updated 4 months ago
Alternatives and similar repositories for chorex
Users that are interested in chorex are comparing it to the libraries listed below
Sorting:
- Session Types in Elixir☆48Updated 2 years ago
- Naively-evaluated Datalog, implemented in Elixir☆32Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- Allows for easy interop with Erlang records.☆25Updated 2 years ago
- Elixir implementation of Microsoft's Hummingbird library for converting trained Decision Tree models into tensor computations.☆75Updated 2 years ago
- Elixir Extended Protocol☆49Updated 2 weeks ago
- A tool for composing and executing workflows at runtime for Elixir.☆42Updated 2 years ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 4 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- An Elixir implementation of HCL.☆36Updated last year
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆35Updated 3 years ago
- A numerical integrator written in Elixir for the solution of sets of non-stiff ordinary differential equations (ODEs).☆39Updated 11 months ago
- ☆22Updated 3 weeks ago
- GenStage producers for EventStoreDB 20+ with Spear☆15Updated last year
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 4 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 5 years ago
- JSONSchema -> Elixir code generator☆122Updated last year
- A Terminal UI Framework for Elixir Applications☆54Updated 9 months ago
- A markdown compiler for the people☆25Updated 3 years ago
- Parameterized modules for Elixir☆68Updated 5 years ago
- Backtracking behaviour to solve discrete problems by brute force☆25Updated 9 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- ⚡ Fast full-text search for Elixir☆17Updated last year
- ☆27Updated 7 years ago
- A tiny image library using stb_image as the backend☆51Updated last year
- Elixir library for types and mathematical functions for complex numbers☆27Updated last year
- Static typechecker for Erlang☆58Updated this week
- 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
- A type checker for Elixir☆34Updated 2 years ago