pzel/mkr 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

pzel/mkr

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/pzel/mkr)

Close

pzel / mkrView on GitHubMore

• External links
• Readme badge

An implementation of µKanren in Lisp Flavored Erlang.

☆17Aug 5, 2015Updated 10 years ago

Alternatives and similar repositories for mkr

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

• abxy / hterl

  View on GitHub
  An Erlang extension which adds HTML tags to the expression syntax.
  ☆18Jun 29, 2019Updated 6 years ago
• marianoguerra / erldn

  View on GitHub
  edn format parser for the erlang platform
  ☆28Nov 29, 2018Updated 7 years ago
• xandkar / hope

  View on GitHub
  A quest for a "standard" Erlang library with uniform, composable abstractions.
  ☆18Dec 10, 2019Updated 6 years ago
• OrBaruk / squares-lgj

  View on GitHub
  Squares for Lisp Game Jam 2018
  ☆20Oct 14, 2019Updated 6 years ago
• marianoguerra / erlplorer

  View on GitHub
  search erlang & efene code by structure by providing expressions with "holes"
  ☆15Sep 18, 2021Updated 4 years ago
• ian-plosker / seq-erlang

  View on GitHub
  Lazy sequences for Erlang
  ☆18Sep 1, 2011Updated 14 years ago
• ramsay-t / Smother

  View on GitHub
  Extended code coverage metrics for Erlang.
  ☆36Oct 3, 2018Updated 7 years ago
• rvirding / spell1

  View on GitHub
  LL(1) parser generator for Erlang and LFE
  ☆43Dec 29, 2024Updated last year
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• lehoff / kairos

  View on GitHub
  Timer module for Erlang that makes it easy to abstact time out of the tests.
  ☆88Aug 21, 2023Updated 2 years ago
• studzien / erlang-on-arm

  View on GitHub
  Erlang VM for microcontrollers
  ☆30Mar 16, 2015Updated 11 years ago
• lyons / ExKanren

  View on GitHub
  Relational programming in Elixir
  ☆81Oct 13, 2017Updated 8 years ago
• exercism / lfe

  View on GitHub
  Exercism exercises in Lisp Flavoured Erlang (LFE).
  ☆26Feb 15, 2026Updated last month
• jui / mustachex

  View on GitHub
  Mustache for Elixir
  ☆18Aug 20, 2021Updated 4 years ago
• mentels / riak_core_tutorial

  View on GitHub
  ☆15Jan 17, 2015Updated 11 years ago
• kevsmith / reddy

  View on GitHub
  Exploring writing a redis client in Erlang
  ☆20Oct 30, 2011Updated 14 years ago
• geocar / inet_ssh_dist

  View on GitHub
  SSH distribution for erlang
  ☆47Dec 28, 2017Updated 8 years ago
• clojang / clojang

  View on GitHub
  Clojure API for Erlang/OTP Communications (built on jiface)
  ☆68Jul 30, 2025Updated 7 months ago
• del / erserve

  View on GitHub
  Erlang/Rserve communication interface
  ☆36Jun 27, 2013Updated 12 years ago
• maacl / aleph-ws-test

  View on GitHub
  Small chat-app to test Aleph websocket support.
  ☆25Sep 15, 2016Updated 9 years ago
• tsloughter / sctp_dist

  View on GitHub
  ☆14Jun 27, 2018Updated 7 years ago
• ferd / cth_readable

  View on GitHub
  Common Test hooks for more readable logs
  ☆49Feb 28, 2025Updated last year
• rvirding / flavors

  View on GitHub
  LFE Flavor package
  ☆42Jan 16, 2021Updated 5 years ago
• devaspot / mtx

  View on GitHub
  ✏ MTX: Metrics Client
  ☆20Aug 29, 2015Updated 10 years ago
• lpgauth / flare

  View on GitHub
  High Performance Erlang Kafka Producer
  ☆16Nov 20, 2023Updated 2 years ago
• uwiger / plain_fsm

  View on GitHub
  A behaviour/support library for writing plain Erlang FSMs.
  ☆87May 14, 2025Updated 10 months ago
• xinhaoyuan / morpheus

  View on GitHub
  Erlang Sandboxing for Reliable and Scalable Concurrency Testing
  ☆25Nov 28, 2019Updated 6 years ago
• jlouis / erlang-utp

  View on GitHub
  uTP implementation in Erlang
  ☆22Jun 9, 2012Updated 13 years ago
• clojang / jiface

  View on GitHub
  A Clojure-idiomatic wrapper around Erlang's JInterface
  ☆27Jul 30, 2025Updated 7 months ago
• studzien / tiw

  View on GitHub
  Erlang VM timer wheel analyzer
  ☆18Nov 13, 2015Updated 10 years ago
• oscarh / gen_tcpd

  View on GitHub
  Generic TCP listening and accepting
  ☆32Feb 3, 2012Updated 14 years ago
• stylefruits / rib

  View on GitHub
  Ri͜b: Requests in Batches
  ☆30Dec 19, 2016Updated 9 years ago
• brandonwillard / loghyc

  View on GitHub
  Loghyc - a miniKanren implementation in Hy
  ☆90Apr 2, 2020Updated 5 years ago
• mdevilliers / erlang-mesos

  View on GitHub
  An erlang binding for mesos - http://mesos.apache.org/
  ☆32Oct 18, 2018Updated 7 years ago
• whilo / ecdts

  View on GitHub
  Eventually consistent datatypes for Clojure.
  ☆14Apr 25, 2016Updated 9 years ago
• fredyouhanaie / espace

  View on GitHub
  An Erlang Tuple Space implementation
  ☆10Nov 22, 2025Updated 4 months ago
• cmeiklejohn / vvclocks

  View on GitHub
  Verified vector clocks, with Coq!
  ☆14Dec 15, 2013Updated 12 years ago
• zinid / ocaml-erlang

  View on GitHub
  Implementation of some Erlang primitives in OCaml
  ☆11Jun 16, 2017Updated 8 years ago