utahplt / chorexLinks
Choreographic programming in Elixir
☆26Updated 2 months 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 11 months ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Session Types in Elixir☆50Updated last year
- Allows for easy interop with Erlang records.☆26Updated last year
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- Automatic dependency recompilation for Mix.install/2☆23Updated last year
- An Elixir implementation of HCL.☆35Updated last year
- half gen_statem, half gen_server☆22Updated 9 months ago
- A Terminal UI Framework for Elixir Applications☆41Updated 3 months ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 3 years ago
- ☆31Updated 2 years ago
- Library to build GraphQL queries and mutations from Elixir structs☆36Updated last year
- Elixir implementation of Microsoft's Hummingbird library for converting trained Decision Tree models into tensor computations.☆74Updated last year
- Elixir Extended Protocol☆49Updated last year
- A markdown compiler for the people☆25Updated 3 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- A pipe-macro for Elixir that allows bare function captures☆45Updated 5 years ago
- A tool for composing and executing workflows at runtime for Elixir.☆40Updated last year
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 3 years ago
- High-performance, concurrent, and mutable Cuckoo Filter for Erlang and Elixir☆47Updated 8 months ago
- ⚡ Fast full-text search for Elixir☆12Updated last year
- zig linear algebra bindings for nx☆34Updated 4 years ago
- A library for cosine similarity & simhash calculation☆16Updated last year
- Elixir library to build Plug-like pipelines☆18Updated 3 weeks ago
- GenStage producers for EventStoreDB 20+ with Spear☆15Updated last year
- A sandbox for Elixir☆37Updated 4 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Download, verify, and extract GitHub release artifacts effortlessly right from Elixir☆34Updated last year
- Memorex is a space repetition system (i.e., flashcards) based on Anki, written in Elixir, and implemented as a Phoenix LiveView applicati…☆20Updated last year
- ETS + RocksDB☆28Updated 2 years ago