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:
- WebAssembly compiler and runtime for BEAM languages☆32Updated 6 years ago
- Elixir Extended Protocol☆49Updated last year
- Relational programming in Elixir☆81Updated 7 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 8 months ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Scenic render and input driver for windowed OSs☆28Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 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
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- Choreographic programming in Elixir☆25Updated this week
- ☆31Updated 2 years ago
- Experimental - join the #nerves channel on elixir-lang slack if interested☆16Updated last month
- ☆17Updated 8 years ago
- Prolog interpreter/compiler☆33Updated 4 years ago
- An implementation of SPARQL for Elixir☆40Updated last month
- Store and manipulate a set of bit flags, mostly used for syncing the state over the wire between peers in a peer to peer network, such as…☆19Updated 6 years ago
- Math expression parser and evaluator☆23Updated 7 years ago
- A statically-typed lisp for the BEAM☆11Updated 3 years ago
- ☆19Updated 8 years ago
- Supervised Session Actors☆22Updated 8 years ago
- ☆32Updated last year
- ☆27Updated 7 years ago
- example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming☆40Updated 6 years ago
- Parameterized modules for Elixir☆69Updated 5 years ago
- Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. L…☆33Updated 2 weeks ago
- Elmer compiler☆12Updated 8 years ago
- A lightweight erlang runtime☆21Updated 4 years ago
- Erlang AST to Elixir AST☆20Updated last week