xieyuheng / exoLinks
logic programming in elixir
☆10Updated 6 years ago
Alternatives and similar repositories for exo
Users that are interested in exo are comparing it to the libraries listed below
Sorting:
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Naively-evaluated Datalog, implemented in Elixir☆31Updated last year
- Elixir Extended Protocol☆49Updated last year
- Relational programming in Elixir☆80Updated 7 years ago
- Parser combinator library for Elixir☆12Updated 3 months ago
- example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming☆39Updated 6 years ago
- Choreographic programming in Elixir☆26Updated 3 weeks ago
- Allows for easy interop with Erlang records.☆26Updated 2 years ago
- A library for cosine similarity & simhash calculation☆16Updated last year
- Directed Acyclic Graph (DAG) implementation in Elixir☆14Updated 5 years ago
- A statically-typed lisp for the BEAM☆12Updated 4 years ago
- ☆19Updated 8 years ago
- State aware Elixir functions without spawning processes☆27Updated 7 years ago
- A type checker for Elixir☆34Updated 2 years ago
- An implementation of SPARQL for Elixir☆40Updated 5 months ago
- 🔌 A Gleam HTTP service adapter for the Plug web application interface☆34Updated 5 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆56Updated last month
- Manage one or more PubSub instances using the Elixir registry☆19Updated 2 years ago
- WebAssembly compiler and runtime for BEAM languages☆33Updated 6 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Updated 4 years ago
- ☆27Updated 7 years ago
- Almost-extensible effects for Elixir.☆27Updated 9 years ago
- simplified query engine based on logic programming paradigm☆154Updated 6 years ago
- Backtracking behaviour to solve discrete problems by brute force☆26Updated 8 years ago
- Elixir library for types and mathematical functions for complex numbers☆26Updated 8 months ago
- Session Types in Elixir☆49Updated 2 years ago
- Curated BEAM language libraries by category☆25Updated last year
- ☆31Updated 3 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 3 months ago
- Parameterized modules for Elixir☆69Updated 5 years ago