utahplt / chorex
Choreographic programming in Elixir
☆24Updated 3 weeks ago
Alternatives and similar repositories for chorex:
Users that are interested in chorex are comparing it to the libraries listed below
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 6 months ago
- Elixir implementation of Microsoft's Hummingbird library for converting trained Decision Tree models into tensor computations.☆74Updated last year
- Session Types in Elixir☆49Updated last year
- ☆27Updated 7 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Elixir library for types and mathematical functions for complex numbers☆25Updated 2 months ago
- Allows for easy interop with Erlang records.☆26Updated last year
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Elixir Extended Protocol☆49Updated 10 months ago
- zig linear algebra bindings for nx☆34Updated 4 years ago
- Tagged unions for Elixir. Just that.☆42Updated 11 months ago
- A relational programming language in Elixir, based on micro/miniKanren.☆17Updated last year
- A database globally replicated via Epidemic Broadcast Trees and lasp-lang’s Partisan. An offspring of Plumtree and Partisan, a descendant…☆40Updated 3 months ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- WiFi networking for VintageNet☆32Updated 2 weeks ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- Elixir library to build Plug-like pipelines☆18Updated 3 weeks ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Erlang native interface to git☆41Updated 2 weeks ago
- A sandbox for Elixir☆37Updated 4 years ago
- Concise Binary Object Representation (RFC 7049)☆29Updated 2 years ago
- Download, verify, and extract GitHub release artifacts effortlessly right from Elixir☆34Updated last year
- The next-generation debugger for Erlang.☆19Updated this week
- An implementation of SPARQL for Elixir☆40Updated 7 months ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- Elixir and Nx bindings for the IREE runtime and compiler☆31Updated 5 months ago
- Math expression parser and evaluator☆22Updated 6 years ago
- A build.zig compiler for Mix☆19Updated 2 weeks ago