Alternatives and similar repositories for erlog

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

• parapluu / Concuerror
  Concuerror is a stateless model checking tool for Erlang programs.
  ☆340Updated 4 months ago
• lyons / ExKanren
  Relational programming in Elixir
  ☆80Updated 8 years ago
• tonyrog / cl
  OpenCL binding for Erlang
  ☆296Updated 2 years ago
• cuter-testing / cuter
  A concolic testing tool for the Erlang functional programming language.
  ☆211Updated 2 months ago
• ubf / ubf
  [UNMAINTAINED] Universal Binary Format 2.2
  ☆216Updated 9 years ago
• joearms / erl2
  a new dialect of erlang
  ☆164Updated 10 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆163Updated 11 months ago
• krestenkrab / triq
  Trifork QuickCheck
  ☆278Updated 9 years ago
• josefs / Gradualizer
  A Gradual type system for Erlang
  ☆620Updated 9 months 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…
  ☆215Updated 10 months ago
• gar1t / lambdapad
  Static site generator using Erlang. Yes, Erlang.
  ☆125Updated 6 years ago
• grisp / grisp
  🐟 GRiSP Erlang Runtime Library
  ☆312Updated 3 months ago
• efene / efene
  Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
  ☆105Updated 6 years ago
• gar1t / psycho
  Yes, another Erlang web server!
  ☆81Updated 8 years ago
• uwiger / jobs
  Job scheduler for load regulation
  ☆329Updated 2 years ago
• rabbitmq / erlando
  Erlando
  ☆306Updated 6 years ago
• kvakvs / E4VM
  A small portable virtual machine that would run Erlang on embedded systems
  ☆132Updated 7 years ago
• mmzeeman / esqlite
  Erlang NIF for sqlite
  ☆139Updated 4 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 3 years ago
• fogfish / datalog
  simplified query engine based on logic programming paradigm
  ☆155Updated 6 years ago
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆170Updated 5 years ago
• seancribbs / neotoma
  Erlang library and packrat parser-generator for parsing expression grammars.
  ☆308Updated 2 years ago
• uwiger / parse_trans
  Parse transform utilities for Erlang
  ☆234Updated 8 months ago
• Quviq / webdrv
  WebDriver implementation in Erlang
  ☆42Updated 10 years ago
• fogfish / datum
  pure functional and generic programming for Erlang
  ☆126Updated 6 months ago
• mazenharake / cecho
  An ncurses library for Erlang
  ☆153Updated last year
• zeromq / chumak
  Pure Erlang implementation of ZeroMQ Message Transport Protocol.
  ☆198Updated last month
• erleans / erleans
  Erlang Orleans
  ☆303Updated 11 months ago
• fenollp / erlscp
  A supercompiler pass for Erlang
  ☆93Updated 5 years ago
• synrc / shen
  🐉 SHEN: Erlang JavaScript Compiler
  ☆235Updated 5 months ago