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
• xandkar / hope

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

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

  View on GitHub
  ☆14Jun 27, 2018Updated 7 years ago
• KrzysiekJ / gb_merkle_trees

  View on GitHub
  General balanced binary Merkle trees for Erlang
  ☆22Oct 7, 2018Updated 7 years ago
• rvirding / spell1

  View on GitHub
  LL(1) parser generator for Erlang and LFE
  ☆43Dec 29, 2024Updated last year
• fknfilewalker / tinyies

  View on GitHub
  Header only C++11 IES loader/writer
  ☆13Apr 3, 2024Updated last year
• jlouis / erlang-utp

  View on GitHub
  uTP implementation in Erlang
  ☆22Jun 9, 2012Updated 13 years ago
• project-fifo / erltrace

  View on GitHub
  Erlang DTrace consumer
  ☆23May 26, 2017Updated 8 years ago
• maacl / aleph-ws-test

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

  View on GitHub
  LFE Flavor package
  ☆42Jan 16, 2021Updated 5 years ago
• lfe-rebar3 / compile

  View on GitHub
  The LFE rebar3 compiler plugin
  ☆14Jul 13, 2020Updated 5 years ago
• muxspace / bunny_farm

  View on GitHub
  AMQP erlang client wrapper library using the RabbitMQ libraries
  ☆38May 30, 2013Updated 12 years ago
• lrascao / erlqueue

  View on GitHub
  erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.
  ☆10Sep 14, 2016Updated 9 years ago
• bytecurry / colliflower

  View on GitHub
  Generic interfaces for lisp collections.
  ☆11Nov 16, 2015Updated 10 years ago
• ian-plosker / seq-erlang

  View on GitHub
  Lazy sequences for Erlang
  ☆18Sep 1, 2011Updated 14 years ago
• hexpm / community

  View on GitHub
  Hex community are packages the community maintains on Hex
  ☆18Apr 3, 2016Updated 9 years ago
• fredyouhanaie / espace

  View on GitHub
  An Erlang Tuple Space implementation
  ☆10Nov 22, 2025Updated 3 months ago
• tchoutri / Eikon

  View on GitHub
  Eikōn is an Elixir library providing a read-only interface for image files.
  ☆12Jan 28, 2022Updated 4 years ago
• MirkoBonadei / dgol

  View on GitHub
  Distributed game of life (inspired by Torben Hoffman's solution found at https://github.com/lehoff/egol)
  ☆11Aug 13, 2015Updated 10 years ago
• geocar / inet_ssh_dist

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

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

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

  View on GitHub
  Relational programming in Elixir
  ☆81Oct 13, 2017Updated 8 years ago
• ramsay-t / Smother

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

  View on GitHub
  Enhanced SASL Error Logger for Riak
  ☆35Jul 2, 2012Updated 13 years ago
• flambard / cl-erlang-term

  View on GitHub
  Common Lisp implementation of the Erlang External Term Format
  ☆16Dec 31, 2022Updated 3 years ago
• g-andrade / steady_vector

  View on GitHub
  Array-like collections optimized for tail manipulation
  ☆11Mar 20, 2020Updated 5 years ago
• GrammaTech / functional-trees

  View on GitHub
  Tree data structure supporting functional manipulation. Works closely with FSet.
  ☆17Updated this week
• cmeiklejohn / vvclocks

  View on GitHub
  Verified vector clocks, with Coq!
  ☆14Dec 15, 2013Updated 12 years ago
• OrBaruk / squares-lgj

  View on GitHub
  Squares for Lisp Game Jam 2018
  ☆20Oct 14, 2019Updated 6 years ago
• bartima3us / erline-dht

  View on GitHub
  Kademlia based Mainline DHT implementation
  ☆13Apr 15, 2021Updated 4 years ago
• ferd / cth_readable

  View on GitHub
  Common Test hooks for more readable logs
  ☆49Feb 28, 2025Updated last year
• rtraschke / erlang-lua

  View on GitHub
  Erlang C Node to run Lua scripts
  ☆44Jul 27, 2020Updated 5 years ago
• studzien / erlang-on-arm

  View on GitHub
  Erlang VM for microcontrollers
  ☆30Mar 16, 2015Updated 10 years ago
• jlouis / erlangnode

  View on GitHub
  Run an OCaml program as an erlang node
  ☆29Mar 25, 2016Updated 9 years ago
• msantos / prx

  View on GitHub
  An Erlang library for managing Unix processes
  ☆38Jan 25, 2026Updated last month
• mentels / riak_core_tutorial

  View on GitHub
  ☆15Jan 17, 2015Updated 11 years ago
• whilo / ecdts

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