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
- Naively-evaluated Datalog, implemented in Elixir☆31Updated 6 months ago
- Relational programming in Elixir☆81Updated 7 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- A type checker for Elixir☆33Updated 2 years ago
- Prolog interpreter/compiler☆33Updated 4 years ago
- Helpers for defining Elixir operators☆23Updated 3 years ago
- example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming☆40Updated 6 years ago
- ☆17Updated 8 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- Elmer compiler☆12Updated 8 years ago
- Elixir Extended Protocol☆49Updated 10 months ago
- Tool that allows to write Erlang NIF libraries in Haskell☆25Updated 11 years ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- FoundationDB client for Elixir☆51Updated last year
- Erlang Design by Contract☆24Updated 6 years ago
- Scenic render and input driver for windowed OSs☆28Updated last year
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 4 years ago
- Math expression parser and evaluator☆23Updated 6 years ago
- encode and decode bittorrent peer wire protocol messages with elixir☆19Updated 9 years ago
- Experimental - join the #nerves channel on elixir-lang slack if interested☆16Updated last week
- ☆19Updated 7 years ago
- An implementation of SPARQL for Elixir☆40Updated 7 months ago
- ☆32Updated 2 years ago
- A nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Updated 3 years ago
- A configurable constraint solver☆39Updated 8 years ago
- WebAssembly compiler and runtime for BEAM languages☆32Updated 5 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- Uniform low-level tcp, tcp/tls and unix socket interface☆20Updated 6 years ago
- Steamroller: An opinionated Erlang code formatter.☆45Updated 4 years ago