utahplt / chorex
Choreographic programming in Elixir
☆20Updated last month
Related projects: ⓘ
- Naively-evaluated Datalog, implemented in Elixir☆30Updated last week
- Allows for easy interop with Erlang records.☆26Updated last year
- ☆27Updated 6 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 2 years ago
- Backtracking behaviour to solve discrete problems by brute force☆25Updated 7 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 3 years ago
- Automatic dependency recompilation for Mix.install/2☆21Updated 6 months ago
- A high-performance probabilistic LRFU concurrent in-memory cache with one-hit-wonders detection for Erlang and Elixir☆23Updated 2 years ago
- An implementation of SPARQL for Elixir☆38Updated last month
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- A tool for rapid profiling of Erlang and Elixir applications☆39Updated 2 years ago
- zig linear algebra bindings for nx☆34Updated 3 years ago
- A type checker for Elixir☆33Updated last year
- Concise Binary Object Representation (RFC 7049)☆25Updated last year
- Elixir Extended Protocol☆48Updated 3 months ago
- Demonstration project for getting using gleam inside a mix/elixir project☆30Updated 3 years ago
- Helpers for defining Elixir operators☆23Updated 2 years ago
- A build.zig compiler for Mix☆17Updated last month
- A small TODO utility for Elixir programmers☆16Updated last year
- Scenic render and input driver for windowed OSs☆28Updated last year
- A few example Livebook notebooks.☆20Updated 2 years ago
- Session Types in Elixir☆46Updated 11 months ago
- Erlang AST to Elixir AST☆18Updated 3 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆32Updated 4 years ago
- ☆32Updated 2 years ago
- RiakEcto3 is an Elixir Ecto 3 Adapter for the Riak KV database (For Riak KV v 2.0 and upward).☆13Updated last year
- A sandbox for Elixir☆37Updated 3 years ago
- An example game for the presentation "Multiplayer Games & Collaborative Editing with Phoenix LiveView" which was written for ElixirConf.E…☆21Updated 3 years ago
- PersistentVector is an array-like collection of values indexed by contiguous 0-based integer index☆15Updated 6 years ago
- State aware Elixir functions without spawning processes☆27Updated 6 years ago