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
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆212Updated last week
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆339Updated 2 months ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆376Updated last year
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆125Updated last year
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆164Updated 4 months ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆215Updated 9 years ago
• AdRoll / rebar3_format
  Erlang Formatter for Rebar3
  ☆112Updated last month
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆123Updated 5 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 3 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆47Updated 10 months ago
• etylizer / etylizer
  Static typechecker for Erlang
  ☆53Updated last month
• ParaPhrase / skel
  A Streaming Process-based Skeleton Library for Erlang
  ☆158Updated 2 months ago
• erleans / erleans
  Erlang Orleans
  ☆288Updated 4 months ago
• krestenkrab / triq
  Trifork QuickCheck
  ☆279Updated 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
• vinoski / bitwise
  Erlang NIF examples for showing Erlang scheduler issues
  ☆142Updated 9 years ago
• efcasado / forms
  A library that simplifies working with the Erlang abstract format.
  ☆41Updated 2 years ago
• CrowdHailer / pachyderm
  Virtual actors for elixir
  ☆103Updated 5 years ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆69Updated 5 years ago
• lenary / idris-erlang
  Erlang Backend for Idris Compiler
  ☆188Updated 7 years ago
• ananthakumaran / fdb
  FoundationDB client for Elixir
  ☆51Updated 2 years ago
• jadeallenx / gisla
  A library that implements the sagas pattern for Erlang
  ☆72Updated 5 years ago
• seancribbs / neotoma
  Erlang library and packrat parser-generator for parsing expression grammars.
  ☆303Updated last year
• erlang / sourcer
  An Erlang language server, providing IDE services.
  ☆123Updated 3 years ago
• fishcakez / sbroker
  Sojourn-time based active queue management library
  ☆164Updated 6 years ago
• uwiger / locks
  A scalable, deadlock-resolving resource locker
  ☆205Updated last year
• lasp-lang / types
  Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
  ☆141Updated 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
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆168Updated 4 years ago