fogfish / datalogLinks
simplified query engine based on logic programming paradigm
☆153Updated 6 years ago
Alternatives and similar repositories for datalog
Users that are interested in datalog are comparing it to the libraries listed below
Sorting:
- Relational programming in Elixir☆80Updated 7 years ago
- Prolog interpreter in and for Erlang☆378Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- [UNMAINTAINED] Universal Binary Format 2.2☆215Updated 9 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- Erlang Design by Contract☆23Updated 7 years ago
- pure functional and generic programming for Erlang☆124Updated last month
- A concolic testing tool for the Erlang functional programming language.☆211Updated 2 months ago
- Wrangler -- An Erlang Refactorer☆163Updated 7 months ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- SICP, the LFE Edition☆126Updated last year
- Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX☆105Updated 6 years ago
- WebDriver implementation in Erlang☆42Updated 10 years ago
- Erlang Language Specification (Draft)☆46Updated last year
- Prolog interpreter/compiler☆32Updated 5 years ago
- Concuerror is a stateless model checking tool for Erlang programs.☆338Updated 4 months ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- a new dialect of erlang☆164Updated 10 years ago
- Luvvie Script. An Erlang dialect that compiles to Javascript for Actor-style DOM scripting☆114Updated 10 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- Erlang code generator for Idris 2☆142Updated last year
- WebAssembly Virtual Machine Built In Elixir☆189Updated 6 years ago
- An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.☆150Updated 3 years ago
- Erlang AST to Elixir AST☆20Updated 3 months ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated 2 weeks ago
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆140Updated 6 years ago
- An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.☆23Updated 8 years ago
- library for modeling Petri nets in Erlang☆63Updated 6 months ago
- logic programming in elixir☆11Updated 6 years ago