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 7 years ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆338Updated 3 weeks ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆163Updated 3 months ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆374Updated last year
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆212Updated 3 months ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 2 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆47Updated 9 months ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆125Updated last year
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆69Updated 5 years ago
• efcasado / forms
  A library that simplifies working with the Erlang abstract format.
  ☆41Updated 2 years ago
• inaka / elvis_core
  The core of an Erlang linter
  ☆67Updated last week
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆215Updated 9 years ago
• aeternity / mnesia_rocksdb
  A RocksDB backend plugin for mnesia, based on mnesia_eleveldb
  ☆154Updated 5 months ago
• AdRoll / rebar3_format
  Erlang Formatter for Rebar3
  ☆111Updated 6 months ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 7 years ago
• krestenkrab / triq
  Trifork QuickCheck
  ☆279Updated 8 years ago
• uwiger / jobs
  Job scheduler for load regulation
  ☆328Updated last year
• eirproject / eir
  Erlang ecosystem common IR
  ☆253Updated 4 years ago
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆124Updated 5 years ago
• jameshaydon / idris-elixir
  A code-generator for Idris that targets Elixir
  ☆63Updated 7 years ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆126Updated 9 months ago
• carlosmn / geef
  Git NEEEEF (Erlang NIF)
  ☆128Updated 6 years ago
• Dkendal / aruspex
  A configurable constraint solver
  ☆39Updated 8 years ago
• seancribbs / neotoma
  Erlang library and packrat parser-generator for parsing expression grammars.
  ☆301Updated last year
• alexdovzhanyn / AlchemyVM
  WebAssembly Virtual Machine Built In Elixir
  ☆190Updated 6 years ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆92Updated 4 years ago
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆168Updated 4 years ago
• erldocs / erldocs
  Generate documentation for Erlang projects in the format of erldocs.com
  ☆58Updated 4 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 2 years ago