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 7 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆374Updated 10 months ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆334Updated 3 weeks ago
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆124Updated last year
• erleans / erleans
  Erlang Orleans
  ☆282Updated last month
• erlang / spec
  Erlang Language Specification (Draft)
  ☆47Updated 5 months ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆165Updated 3 months ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 7 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆138Updated 2 years ago
• Dkendal / aruspex
  A configurable constraint solver
  ☆39Updated 8 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆212Updated last year
• ananthakumaran / fdb
  FoundationDB client for Elixir
  ☆52Updated last year
• 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
• chrrasmussen / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• kofigumbs / codec-beam
  Generate Erlang VM byte code from Haskell
  ☆171Updated last month
• electric-sql / vaxine
  Rich-CRDT database based on AntidoteDB.
  ☆118Updated last year
• etylizer / etylizer
  Static typechecker for Erlang
  ☆51Updated this week
• synrc / kvs
  💿 KVS: NVMe Key-Value Store
  ☆177Updated 4 months ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆126Updated 3 years ago
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆168Updated 4 years ago
• bugarela / tla-transmutation
  Elixir code and test generation from TLA+ specifications
  ☆73Updated last year
• gertab / ElixirST
  Session Types in Elixir
  ☆48Updated last year
• fishcakez / sbroker
  Sojourn-time based active queue management library
  ☆162Updated 5 years ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆61Updated 5 years ago
• sasagawa888 / Elxlog
  Prolog interpreter/compiler
  ☆32Updated 4 years ago
• leostera / lam
  a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
  ☆255Updated 3 years ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆124Updated 5 months ago
• rusterlium / NifIo
  Rustler example. Implements file IO in a NIF.
  ☆79Updated 10 months ago
• kvakvs / Ironclad.old
  A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
  ☆34Updated 2 years ago