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 3 weeks ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆335Updated this week
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆164Updated 3 weeks ago
• WhatsApp / erlt
  Early prototype of ErlT, an experimental Erlang dialect with first-class support for static typing.
  ☆126Updated 3 years ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆214Updated 9 years ago
• inaka / elvis_core
  The core of an Erlang linter
  ☆63Updated 2 weeks ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆68Updated 5 years ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆372Updated 11 months ago
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• erlang / spec
  Erlang Language Specification (Draft)
  ☆47Updated 6 months ago
• efcasado / forms
  A library that simplifies working with the Erlang abstract format.
  ☆41Updated 2 years ago
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆104Updated 5 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆125Updated last year
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆123Updated 5 years ago
• AdRoll / rebar3_format
  Erlang Formatter for Rebar3
  ☆111Updated 3 months ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆138Updated 2 years ago
• lasp-lang / types
  Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
  ☆141Updated 6 years ago
• erlang / sourcer
  An Erlang language server, providing IDE services.
  ☆123Updated 3 years ago
• cnbbooks / lfe-sicp
  SICP, the LFE Edition
  ☆126Updated 6 months ago
• jameshaydon / idris-elixir
  A code-generator for Idris that targets Elixir
  ☆63Updated 7 years ago
• christian-public / Idris2-Erlang
  Erlang code generator for Idris 2
  ☆141Updated last year
• ParaPhrase / skel
  A Streaming Process-based Skeleton Library for Erlang
  ☆155Updated 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
• uwiger / locks
  A scalable, deadlock-resolving resource locker
  ☆204Updated last year
• krestenkrab / triq
  Trifork QuickCheck
  ☆280Updated 8 years ago
• erldocs / erldocs
  Generate documentation for Erlang projects in the format of erldocs.com
  ☆58Updated 4 years ago
• jadeallenx / gisla
  A library that implements the sagas pattern for Erlang
  ☆71Updated 5 years ago
• vinoski / bitwise
  Erlang NIF examples for showing Erlang scheduler issues
  ☆141Updated 9 years ago
• ferd / dandelion
  A weed is a plant considered undesirable in a particular situation, "a plant in the wrong place". Taxonomically, the term "weed" has no b…
  ☆49Updated last year