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
  ☆80Updated 8 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆377Updated last year
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 4 years ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆214Updated 9 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆124Updated 3 months ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆46Updated last year
• 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
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆164Updated 8 months ago
• erlscripten / erlscripten
  Erlang to PureScript transpiler. Run Erlang in the browser!
  ☆114Updated 3 years ago
• otpcl / otpcl
  Open Telecom Platform Command Language a.k.a. Tcl-Flavored Erlang
  ☆38Updated 3 years ago
• joearms / erl2
  a new dialect of erlang
  ☆164Updated 10 years ago
• EchoTeam / ocaml-erlang-port
  Support library for OCaml programs running as Erlang ports
  ☆73Updated 12 years ago
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆34Updated 3 years ago
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated last year
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆339Updated 3 weeks ago
• exercism / lfe
  Exercism exercises in Lisp Flavoured Erlang (LFE).
  ☆25Updated this week
• sasagawa888 / Elxlog
  Prolog interpreter/compiler
  ☆33Updated 5 years ago
• tamarit / edbc
  Erlang Design by Contract
  ☆23Updated 7 years ago
• scout119 / beamdasm
  Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.
  ☆47Updated 2 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆211Updated 4 months ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆142Updated last year
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆124Updated 5 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆136Updated 3 years ago
• Quviq / webdrv
  WebDriver implementation in Erlang
  ☆42Updated 10 years ago
• vic / pond
  State aware Elixir functions without spawning processes
  ☆27Updated 7 years ago
• jwhiteman / lighthouse-scheme
  A toy Scheme-like language on Elixir, just for fun
  ☆41Updated 8 years ago
• lambdaclass / riak_core_tutorial
  An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
  ☆150Updated 3 years ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆125Updated last year
• synrc / nitro
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆55Updated last year