lyons/ExKanren external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lyons/ExKanren

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lyons/ExKanren)

Close

lyons / ExKanrenView on GitHubMore

• External links
• Readme badge

Relational programming in Elixir

☆81Oct 13, 2017Updated 8 years ago

Alternatives and similar repositories for ExKanren

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

• xieyuheng / exo

  View on GitHub
  logic programming in elixir
  ☆10Nov 1, 2018Updated 7 years ago
• trestrantham / directed

  View on GitHub
  A distributed computation framework for Elixir.
  ☆25Sep 8, 2014Updated 11 years ago
• jwhiteman / lighthouse-scheme

  View on GitHub
  A toy Scheme-like language on Elixir, just for fun
  ☆41Jan 17, 2017Updated 9 years ago
• pkinney / carmen

  View on GitHub
  ☆20Apr 29, 2019Updated 6 years ago
• yrashk / relex

  View on GitHub
  Erlang/Elixir Release Assembler
  ☆59Apr 21, 2014Updated 11 years ago
• pzel / mkr

  View on GitHub
  An implementation of µKanren in Lisp Flavored Erlang.
  ☆17Aug 5, 2015Updated 10 years ago
• jtmoulia / neotomex

  View on GitHub
  A PEG parser/transformer with a pleasant Elixir DSL.
  ☆69Nov 1, 2021Updated 4 years ago
• dantswain / mix_eunit

  View on GitHub
  A mix task to execute eunit tests.
  ☆17Feb 7, 2017Updated 9 years ago
• arpieb / corenlp

  View on GitHub
  The CoreNLP package is a thin Elixir client for the Stanford CoreNLP Server.
  ☆15Feb 15, 2019Updated 7 years ago
• OvermindDL1 / typed_elixir

  View on GitHub
  ☆19May 12, 2017Updated 8 years ago
• rvirding / erlog

  View on GitHub
  Prolog interpreter in and for Erlang
  ☆383Feb 25, 2024Updated 2 years ago
• ghitchens / nerves-elixir-trivial

  View on GitHub
  Trivial sample for building Elixir apps using Nerves
  ☆15Sep 26, 2014Updated 11 years ago
• mmower / ergo

  View on GitHub
  Parser combinator library for Elixir
  ☆13Feb 11, 2026Updated 2 weeks ago
• JonGretar / ExBitcask

  View on GitHub
  Elixir wrapper of Basho's Bitcask Key/Value store.
  ☆12Mar 14, 2015Updated 10 years ago
• parroty / excheck

  View on GitHub
  Property-based testing library for Elixir (QuickCheck style).
  ☆314Sep 24, 2018Updated 7 years ago
• zambal / eml

  View on GitHub
  Library for writing and manipulating (html) markup in Elixir.
  ☆114Mar 1, 2024Updated 2 years ago
• ericentin / nifsy

  View on GitHub
  A nifty NIF for the FS, providing faster filesystem operations for Elixir
  ☆52Jul 27, 2016Updated 9 years ago
• graphql-elixir / graphql_relay

  View on GitHub
  Relay helpers for GraphQL Elixir
  ☆37Jul 11, 2018Updated 7 years ago
• am-kantox / easy_ets

  View on GitHub
  The very simple ETS wrapper simplifying cross-process ETS handling (like `Agent`, but `:ets`).
  ☆13Jun 7, 2019Updated 6 years ago
• ityonemo / librarian

  View on GitHub
  ssh library for elixir
  ☆43Jun 13, 2024Updated last year
• batate / shouldi

  View on GitHub
  Elixir testing libraries with nested contexts, superior readability, and ease of use
  ☆135Jul 11, 2016Updated 9 years ago
• Dkendal / aruspex

  View on GitHub
  A configurable constraint solver
  ☆41Jul 10, 2016Updated 9 years ago
• epsanchezma / elixir-contracts

  View on GitHub
  Desing by Contracts for Elixir
  ☆54Sep 7, 2016Updated 9 years ago
• rupurt / schoolbus

  View on GitHub
  Manage one or more PubSub instances using the Elixir registry
  ☆19May 1, 2023Updated 2 years ago
• intermezzOS / vga

  View on GitHub
  A VGA implementation
  ☆15Oct 27, 2016Updated 9 years ago
• OvermindDL1 / protocol_ex

  View on GitHub
  Elixir Extended Protocol
  ☆49Jan 23, 2026Updated last month
• tatut / xtdberl

  View on GitHub
  Erlang/Elixir interface to XTDB (v1)
  ☆17Jul 2, 2024Updated last year
• zkessin / erlog-server

  View on GitHub
  Turn a Prolog File into a Gen Server
  ☆21Oct 30, 2014Updated 11 years ago
• cjen07 / param_pipe

  View on GitHub
  parameterized pipe in elixir: |n>
  ☆15Oct 15, 2018Updated 7 years ago
• Quviq / eqc_ex

  View on GitHub
  QuickCheck for Elixir
  ☆83Nov 18, 2020Updated 5 years ago
• fishcakez / dbg

  View on GitHub
  Tracing for Elixir
  ☆161Jan 24, 2018Updated 8 years ago
• fishcakez / core

  View on GitHub
  Library for selective receive OTP processes
  ☆43Sep 14, 2014Updated 11 years ago
• LeakyBucket / assembly_line

  View on GitHub
  ☆15Sep 4, 2018Updated 7 years ago
• lycus / flect

  View on GitHub
  A pragmatic, functional systems programming language.
  ☆43May 18, 2015Updated 10 years ago
• Overbryd / nodex

  View on GitHub
  A set of helper modules that enable you to work with distributed elixir and c-nodes.
  ☆35Sep 11, 2020Updated 5 years ago
• meh / elixir-datastructures

  View on GitHub
  Datastructures for Elixir.
  ☆218Mar 27, 2017Updated 8 years ago
• billperegoy / graphql_builder

  View on GitHub
  Library to build GraphQL queries and mutations from Elixir structs
  ☆36Aug 29, 2023Updated 2 years ago
• meadsteve / chaos-spawn

  View on GitHub
  ☄️ Chaotic spawning for elixir
  ☆90Sep 14, 2018Updated 7 years ago
• olafura / beam_to_ex_ast

  View on GitHub
  Erlang AST to Elixir AST
  ☆20May 28, 2025Updated 9 months ago