Alternatives and similar repositories for datalog

Users that are interested in datalog are comparing it to the libraries listed below

• lyons / ExKanren
  Relational programming in Elixir
  ☆81Updated 8 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆383Updated last year
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆216Updated 10 years ago
• am-kantox / cure-lang
  Cure language compiling to BEAM with FSM primitives and Dependent types
  ☆88Updated last month
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆68Updated 4 years ago
• otpcl / otpcl
  Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang
  ☆39Updated 3 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆145Updated 2 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆163Updated last year
• erlang / spec
  Erlang Language Specification (Draft)
  ☆46Updated last year
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆126Updated 7 months ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 3 years ago
• joearms / erl2
  a new dialect of erlang
  ☆164Updated 10 years ago
• tamarit / edbc
  Erlang Design by Contract
  ☆23Updated 7 years ago
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆35Updated 3 years ago
• ananthakumaran / fdb
  FoundationDB client for Elixir
  ☆52Updated 2 years ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆68Updated 6 years ago
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆105Updated 6 years ago
• exercism / lfe
  Exercism exercises in Lisp Flavoured Erlang (LFE).
  ☆25Updated last week
• xieyuheng / exo
  logic programming in elixir
  ☆10Updated 7 years ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆93Updated 5 years ago
• ferd / ReVault
  ReVault is a peer-to-peer self-hosted file synchronization project.
  ☆57Updated 5 months ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 14 years ago
• olafura / beam_to_ex_ast
  Erlang AST to Elixir AST
  ☆20Updated 8 months ago
• synrc / nitro
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆56Updated last year
• smpoulsen / terp
  A functional programming language with lisp syntax and ML semantics that runs on the BEAM
  ☆47Updated 4 years ago
• elixirscript / processes
  Erlang style processes in JavaScript
  ☆55Updated 6 years ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆127Updated 4 years ago
• joergen7 / gen_pnet
  library for modeling Petri nets in Erlang
  ☆65Updated last year
• scout119 / beamdasm
  Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.
  ☆48Updated 3 years ago
• sasagawa888 / Elxlog
  Prolog interpreter/compiler
  ☆33Updated 5 years ago