xieyuheng / exoLinks
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
Sorting:
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 9 months ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Parser combinator library for Elixir☆12Updated 5 months ago
- A type checker for Elixir☆33Updated 2 years ago
- WebAssembly compiler and runtime for BEAM languages☆32Updated 6 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- Relational programming in Elixir☆81Updated 7 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- Erlang AST to Elixir AST☆20Updated 3 weeks ago
- An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.☆23Updated 8 years ago
- Choreographic programming in Elixir☆25Updated 3 weeks ago
- Convert Erlang style structs and error messages to equivalent Elixir.☆34Updated last year
- Elixir Extended Protocol☆49Updated last year
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- ☆19Updated 8 years ago
- ☆17Updated 8 years ago
- Allows for easy interop with Erlang records.☆26Updated last year
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 4 years ago
- Prolog interpreter/compiler☆33Updated 5 years ago
- ☆31Updated 2 years ago
- Scenic render and input driver for windowed OSs☆28Updated 2 years ago
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- An implementation of SPARQL for Elixir☆40Updated 2 months ago
- Demonstration project for getting using gleam inside a mix/elixir project☆31Updated 4 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- A nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Updated 3 years ago
- A small TODO utility for Elixir programmers☆16Updated 2 years ago
- ☆27Updated 7 years ago
- Rust reimplementation of subset of Erlang's xref☆15Updated 3 years ago