utahplt / chorex
Choreographic programming in Elixir
☆25Updated 2 weeks ago
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
- Session Types in Elixir☆50Updated last year
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Distributed graph execution in Elixir☆29Updated this week
- GenStage producers for EventStoreDB 20+ with Spear☆15Updated 10 months ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- ExESDB is a reincarnation of rabbitmq/khepri, specialized to use khepri as a BEAM-native Event Store☆24Updated last week
- Elixir implementation of Microsoft's Hummingbird library for converting trained Decision Tree models into tensor computations.☆75Updated last year
- A type checker for Elixir☆33Updated 2 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Simple way to build a lot of Erlang on a single machine☆12Updated last year
- MLIR backend for Nx☆11Updated 11 months ago
- An implementation of SPARQL for Elixir☆40Updated last month
- zig linear algebra bindings for nx☆34Updated 4 years ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- A build.zig compiler for Mix☆20Updated 2 months ago
- Elixir library to build Plug-like pipelines☆18Updated this week
- 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 4 months ago
- ☆31Updated 2 years ago
- 11 ways to do state in elixir☆25Updated last year
- A relational programming language in Elixir, based on micro/miniKanren.☆18Updated 2 years ago
- A sandbox for Elixir☆37Updated 4 years ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- matchspec library for elixir☆21Updated last year
- Natural Language Processing in Elixir☆17Updated last year
- An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.☆23Updated 8 years ago