Alternatives and similar repositories for erlog:

Users that are interested in erlog are comparing it to the libraries listed below

• lyons / ExKanren
  Relational programming in Elixir
  ☆80Updated 7 years ago
• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆335Updated last month
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆165Updated 4 months ago
• vinoski / bitwise
  Erlang NIF examples for showing Erlang scheduler issues
  ☆141Updated 9 years ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆214Updated 8 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆212Updated this week
• krestenkrab / triq
  Trifork QuickCheck
  ☆280Updated 8 years ago
• erlang / eep
  Erlang Enhancement Proposals
  ☆266Updated last week
• duomark / epocxy
  Erlang Patterns of Concurrency
  ☆314Updated 2 years ago
• josefs / Gradualizer
  A Gradual type system for Erlang
  ☆615Updated 3 months ago
• grisp / grisp
  🐟 GRiSP Erlang Runtime Library
  ☆246Updated 2 weeks ago
• joearms / erl2
  a new dialect of erlang
  ☆164Updated 9 years ago
• mmzeeman / esqlite
  Erlang NIF for sqlite
  ☆132Updated last month
• rabbitmq / erlando
  Erlando
  ☆307Updated 5 years ago
• erleans / erleans
  Erlang Orleans
  ☆281Updated 2 months ago
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆168Updated 4 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆124Updated last year
• mazenharake / cecho
  An ncurses library for Erlang
  ☆149Updated 9 months ago
• fogfish / datalog
  simplified query engine based on logic programming paradigm
  ☆143Updated 5 years ago
• aeternity / mnesia_rocksdb
  A RocksDB backend plugin for mnesia, based on mnesia_eleveldb
  ☆151Updated last month
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆123Updated 5 years ago
• afiniate / seresye
  SERESYE means Swarm oriented ERlang Expert SYstem Engine. It is a library to write expert systems and rule processing engines using the E…
  ☆212Updated 7 years ago
• uwiger / jobs
  Job scheduler for load regulation
  ☆326Updated last year
• witchcrafters / algae
  Bootstrapped algebraic data types for Elixir
  ☆340Updated 2 years ago
• erszcz / docsh
  Erlang Docs in the Shell predating EEP-48 and shell_docs
  ☆120Updated last year
• uwiger / parse_trans
  Parse transform utilities for Erlang
  ☆231Updated 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
• unbalancedparentheses / spawnedshelter
  Erlang Spawned Shelter. Erlang and Elixir training with the best articles, videos, books and talks🎓
  ☆350Updated 3 years ago
• tonyrog / cl
  OpenCL binding for Erlang
  ☆297Updated last year
• rvirding / leex
  Lexical analyzer generator for Erlang
  ☆116Updated 9 years ago