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
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆374Updated last year
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆337Updated 3 weeks ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆125Updated last year
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆215Updated 9 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆163Updated 2 months ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆213Updated 2 months ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆68Updated 5 years ago
• carlosmn / geef
  Git NEEEEF (Erlang NIF)
  ☆128Updated 6 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 2 years ago
• scout119 / beamdasm
  Erlang\Elixir byte code viewer. BEAM file disassembler extension for Visual Studio Code.
  ☆48Updated 2 years ago
• ananthakumaran / fdb
  FoundationDB client for Elixir
  ☆51Updated last year
• sasagawa888 / Elxlog
  Prolog interpreter/compiler
  ☆33Updated 4 years ago
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆34Updated 2 years ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆62Updated 5 years ago
• psfblair / datomic_gen_server
  An Elixir GenServer that communicates with a Clojure Datomic peer running in the JVM, using clojure-erlastic.
  ☆23Updated 8 years ago
• AdRoll / rebar3_format
  Erlang Formatter for Rebar3
  ☆111Updated 5 months ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆127Updated 8 months ago
• mmzeeman / esqlite
  Erlang NIF for sqlite
  ☆132Updated 3 months ago
• starbelly / erlang-companies
  A list of companies currently using Erlang in production.
  ☆72Updated 10 months 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
• filmor / ierl
  BEAM Jupyter Kernels Tool
  ☆32Updated 3 months ago
• CrowdHailer / pachyderm
  Virtual actors for elixir
  ☆104Updated 5 years ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆127Updated 3 years ago
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆104Updated 5 years ago
• aeternity / mnesia_rocksdb
  A RocksDB backend plugin for mnesia, based on mnesia_eleveldb
  ☆153Updated 4 months ago
• electric-sql / vaxine
  Rich-CRDT database based on AntidoteDB.
  ☆122Updated 2 years ago
• erlscripten / erlscripten
  Erlang to PureScript transpiler. Run Erlang in the browser!
  ☆114Updated 2 years ago
• alexdovzhanyn / AlchemyVM
  WebAssembly Virtual Machine Built In Elixir
  ☆189Updated 6 years ago