Alternatives and similar repositories for ExKanren

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

• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆69Updated 5 years ago
• fishcakez / dialyze
  Mix dialyzer task
  ☆81Updated 6 years ago
• vic / spec
  Data specification conformance and generation for Elixir
  ☆79Updated 5 years ago
• kbrw / ewebmachine
  The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)
  ☆96Updated 6 months ago
• carlosmn / geef
  Git NEEEEF (Erlang NIF)
  ☆130Updated 6 years ago
• Quviq / eqc_ex
  QuickCheck for Elixir
  ☆83Updated 4 years ago
• gabrielelana / paco
  A parser combinator library for Elixir
  ☆31Updated 9 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆164Updated 5 months ago
• zxq9 / erlmud
  Evolutionary demonstration of Erlang/OTP development.
  ☆36Updated 7 years ago
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated last year
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 3 years ago
• zambal / eml
  Library for writing and manipulating (html) markup in Elixir.
  ☆114Updated last year
• krestenkrab / triq
  Trifork QuickCheck
  ☆279Updated 8 years ago
• bitwalker / combine
  A parser combinator library for Elixir projects
  ☆199Updated last year
• jtmoulia / neotomex
  A PEG parser/transformer with a pleasant Elixir DSL.
  ☆69Updated 3 years ago
• os6sense / DefMemo
  DefMemo - Ryuk's little puppy! Bring apples.
  ☆33Updated 8 years ago
• koudelka / elixir-riemann
  A Riemann client for Elixir, surprise!
  ☆57Updated 6 years ago
• a115 / exmatrix
  Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarki…
  ☆58Updated 2 years ago
• CyrusNuevoDia / towel
  A simple Maybe monad for Elixir.
  ☆99Updated last year
• rusterlium / erlang_nif-sys
  Low level bindings to Erlang NIF API for Rust
  ☆91Updated last year
• Dkendal / aruspex
  A configurable constraint solver
  ☆39Updated 9 years ago
• joshnuss / elixir-ffi
  Foreign Function Interface (FFI) for Elixir
  ☆56Updated 6 years ago
• liveforeverx / exrun
  Runtime and debugging tools for elixir
  ☆121Updated 3 years ago
• Quviq / webdrv
  WebDriver implementation in Erlang
  ☆42Updated 10 years ago
• mgwidmann / elixir-pattern_tap
  Macro for tapping into a pattern match while using the pipe operator
  ☆58Updated 8 years ago
• krestenkrab / erlubi
  Ubigraph Erlang Client (and Process Visualizer)
  ☆189Updated 10 years ago
• MyMedsAndMe / marco_polo
  Marco Polo is a binary OrientDB driver for Elixir.
  ☆69Updated 2 years ago
• artemeff / eql
  Erlang with SQL or not
  ☆116Updated last year
• gar1t / erlang-patterns
  LambdaPad source files for erlangpatterns.org
  ☆168Updated 4 years ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆62Updated 6 years ago