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☆377Updated last year
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 4 years ago
- Erlang Language Specification (Draft)☆46Updated last year
- pure functional and generic programming for Erlang☆124Updated 2 months ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- [UNMAINTAINED] Universal Binary Format 2.2☆214Updated 9 years ago
- Wrangler -- An Erlang Refactorer☆164Updated 7 months ago
- Erlang Design by Contract☆23Updated 7 years ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 3 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- A supercompiler pass for Erlang☆92Updated 4 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
- Concuerror is a stateless model checking tool for Erlang programs.☆339Updated last week
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Erlang to PureScript transpiler. Run Erlang in the browser!☆113Updated 3 years ago
- Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX