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!
  ☆68Updated 5 years ago
• vic / spec
  Data specification conformance and generation for Elixir
  ☆79Updated 2 months ago
• zambal / eml
  Library for writing and manipulating (html) markup in Elixir.
  ☆114Updated last year
• Quviq / eqc_ex
  QuickCheck for Elixir
  ☆83Updated 4 years ago
• kbrw / ewebmachine
  The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)
  ☆97Updated this week
• carlosmn / geef
  Git NEEEEF (Erlang NIF)
  ☆128Updated 6 years ago
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated last year
• Dkendal / aruspex
  A configurable constraint solver
  ☆40Updated 9 years ago
• os6sense / DefMemo
  DefMemo - Ryuk's little puppy! Bring apples.
  ☆33Updated 8 years ago
• fishcakez / dialyze
  Mix dialyzer task
  ☆81Updated 6 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆137Updated 3 years ago
• rusterlium / erlang_nif-sys
  Low level bindings to Erlang NIF API for Rust
  ☆90Updated last year
• gabrielelana / paco
  A parser combinator library for Elixir
  ☆31Updated 9 years ago
• bootstarted / effects
  Almost-extensible effects for Elixir.
  ☆27Updated 9 years ago
• krestenkrab / triq
  Trifork QuickCheck
  ☆279Updated 8 years ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆62Updated 6 years ago
• lehoff / acquirex
  Elixir implementation of the logic for the board game Acquire. Presented at NDC Oslo 2015 - see video:
  ☆54Updated 10 years ago
• koudelka / elixir-riemann
  A Riemann client for Elixir, surprise!
  ☆57Updated 7 years ago
• coreyhaines / handbook-of-neuroevolution
  Code samples from the Handbook of Neuroevolution through Erlang in both Erlang and Elixir
  ☆34Updated 12 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆164Updated 7 months ago
• jtmoulia / neotomex
  A PEG parser/transformer with a pleasant Elixir DSL.
  ☆69Updated 3 years ago
• takscape / elixir-array
  An Elixir wrapper library for Erlang's array
  ☆36Updated 4 years ago
• Qqwy / elixir-fun_land
  Algebraic Data Types for Elixir: Both functional and fun.
  ☆73Updated 2 years ago
• krestenkrab / erlubi
  Ubigraph Erlang Client (and Process Visualizer)
  ☆189Updated 10 years ago
• joekain / bmark
  A benchmarking tool for Elixir
  ☆71Updated 7 years ago
• ericentin / exexec
  Execute and control OS processes from Elixir.
  ☆67Updated 4 years ago
• zxq9 / erlmud
  Evolutionary demonstration of Erlang/OTP development.
  ☆36Updated 7 years ago
• dLuna / chaos_monkey
  ☆106Updated 6 years ago
• cjen07 / julia_port
  example project to invoke julia functions in elixir to do scientific computing using port and metaprogramming
  ☆39Updated 6 years ago
• bitwalker / combine
  A parser combinator library for Elixir projects
  ☆199Updated last year