xieyuheng / exo
logic programming in elixir
☆11Updated 6 years ago
Alternatives and similar repositories for exo:
Users that are interested in exo are comparing it to the libraries listed below
- Choreographic programming in Elixir☆25Updated this week
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 7 months ago
- An implementation of SPARQL for Elixir☆40Updated last week
- ☆32Updated 2 years ago
- WebAssembly compiler and runtime for BEAM languages☆32Updated 6 years ago
- Relational programming in Elixir☆81Updated 7 years ago
- example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming☆40Updated 6 years ago
- Elixir Extended Protocol☆49Updated 11 months ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.☆23Updated 8 years ago
- ☆27Updated 7 years ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- A small TODO utility for Elixir programmers☆16Updated 2 years ago
- FoundationDB client for Elixir☆51Updated last year
- ☆35Updated last year
- Allows for easy interop with Erlang records.☆26Updated last year
- A type checker for Elixir☆33Updated 2 years ago
- Erlang Design by Contract☆24Updated 6 years ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Updated 9 years ago
- Scenic render and input driver for windowed OSs☆28Updated last year
- Helpers for defining Elixir operators☆23Updated 3 years ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 4 years ago
- Erlang AST to Elixir AST☆18Updated 4 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- Math expression parser and evaluator☆23Updated 6 years ago
- Design by contract in elixir☆46Updated 4 years ago
- Sandboxable Mix (Elixir) project Nix evaluator☆16Updated 4 months ago
- Efficient binary encoding for your data (based on Erlang's External Terms Format)☆36Updated 5 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆53Updated last month