fogfish / datalogLinks
simplified query engine based on logic programming paradigm
☆151Updated 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☆81Updated 7 years ago
- Prolog interpreter in and for Erlang☆377Updated last year
- Erlang Language Specification (Draft)☆47Updated 11 months ago
- [UNMAINTAINED] Universal Binary Format 2.2☆215Updated 9 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆69Updated 5 years ago
- Concuerror is a stateless model checking tool for Erlang programs.☆338Updated 2 months ago
- A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference☆34Updated 2 years ago
- pure functional and generic programming for Erlang☆125Updated last week
- a new dialect of erlang☆165Updated 10 years ago
- Wrangler -- An Erlang Refactorer☆164Updated 5 months ago
- Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.☆48Updated 2 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
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆141Updated 6 years ago
- WebAssembly Virtual Machine Built In Elixir☆190Updated 6 years ago
- FoundationDB client for Elixir☆51Updated 2 years ago
- Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.☆127Updated 4 years ago
- Generate documentation for Erlang projects in the format of erldocs.com☆59Updated 4 years ago
- SICP, the LFE Edition☆127Updated 11 months ago
- Steamroller: An opinionated Erlang code formatter.☆45Updated 4 years ago
- WebDriver implementation in Erlang☆42Updated 10 years ago
- A concolic testing tool for the Erlang functional programming language.☆212Updated last month
- Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX☆105Updated 6 years ago
- Erlang Design by Contract☆24Updated 6 years ago
- ReVault is a peer-to-peer self-hosted file synchronization project.☆56Updated 2 weeks ago
- The McErlang model checker for Erlang☆65Updated 9 years ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- Git NEEEEF (Erlang NIF)☆130Updated 6 years ago