Alternatives and similar repositories for metamk

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

• webyrd / declarative-semantics

  View on GitHub
  miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…
  ☆15Mar 16, 2018Updated 7 years ago
• gregr / dKanren

  View on GitHub
  miniKanren variant with a functional syntax, expressing disjunction via pattern matching
  ☆17Mar 28, 2020Updated 5 years ago
• namin / staged-miniKanren

  View on GitHub
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Nov 29, 2025Updated 2 months ago
• orchid-hybrid / minimips

  View on GitHub
  minikanren mips assembler/disassembler
  ☆34Mar 28, 2015Updated 10 years ago
• xu-hao / QueryArrow

  View on GitHub
  A semantically unified SQL and NoSQL query and update system
  ☆18Jan 20, 2019Updated 7 years ago
• webyrd / normalization-by-evaluation

  View on GitHub
  Normalization-by-evaluation in miniKanren
  ☆25Feb 26, 2023Updated 2 years ago
• webyrd / miniKanren-hangout-summaries

  View on GitHub
  Summaries of intro and advanced miniKanren hangout series
  ☆28Dec 18, 2017Updated 8 years ago
• webyrd / slpKanren

  View on GitHub
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Feb 3, 2013Updated 13 years ago
• jasonhemann / constraint-microKanren

  View on GitHub
  A microKanren framework for implementing constraints.
  ☆19May 30, 2018Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• webyrd / wreckto-verseo

  View on GitHub
  Experiments with the Verse Calculus in miniKanren
  ☆14Sep 17, 2023Updated 2 years ago
• webyrd / dissertation-single-spaced

  View on GitHub
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆63Dec 30, 2018Updated 7 years ago
• webyrd / alphaKanren

  View on GitHub
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Jan 19, 2014Updated 12 years ago
• webyrd / 2012-scheme-workshop-quines-paper-code

  View on GitHub
  Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…
  ☆15Feb 27, 2025Updated 11 months ago
• Ahnfelt / AlgorithmWStepByStep

  View on GitHub
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Sep 17, 2014Updated 11 years ago
• UlfNorell / quasi-quote

  View on GitHub
  Quasi-quoting library for agda
  ☆18Nov 29, 2024Updated last year
• kyagrd / tiper

  View on GitHub
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Jun 24, 2020Updated 5 years ago
• namin / reflection-schemes

  View on GitHub
  exploration of reflective architectures in Scheme
  ☆20May 20, 2022Updated 3 years ago
• tsung-ju / SystemF

  View on GitHub
  An Agda formalization of System F and the Brown-Palsberg self-interpreter
  ☆26Oct 4, 2020Updated 5 years ago
• namin / mk-on-smt

  View on GitHub
  miniKanren for search, SMT for solving
  ☆13Oct 20, 2019Updated 6 years ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• amosr / folderol

  View on GitHub
  machine fusion
  ☆16Oct 13, 2018Updated 7 years ago
• gregr / ina

  View on GitHub
  experimental computational medium and supporting tools
  ☆23Updated this week
• jasonhemann / micro-in-mini

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

  View on GitHub
  Concatenative relational interpreter in miniKanren
  ☆22May 11, 2015Updated 10 years ago
• plum-umd / abstracting-definitional-interpreters

  View on GitHub
  Abstracting Definitional Interpreters
  ☆74Nov 25, 2017Updated 8 years ago
• rocq-community / dblib

  View on GitHub
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Sep 15, 2021Updated 4 years ago
• namin / logically

  View on GitHub
  explorations in core.logic
  ☆118Jun 14, 2024Updated last year
• philnguyen / soft-contract

  View on GitHub
  A prototype of soft contract verification for an untyped functional language
  ☆35Apr 7, 2021Updated 4 years ago
• webyrd / probKanren

  View on GitHub
  Probabilistic miniKanren
  ☆67Oct 20, 2015Updated 10 years ago
• TiarkRompf / collapsing-towers

  View on GitHub
  Collapsing Towers of Interpreters
  ☆93Jun 21, 2025Updated 7 months ago
• namin / scalogno

  View on GitHub
  prototyping logic programming in Scala
  ☆42Mar 25, 2022Updated 3 years ago
• flavioc / meld

  View on GitHub
  Meld virtual machine.
  ☆28Nov 20, 2015Updated 10 years ago
• ualib / ualib.github.io

  View on GitHub
  The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…
  ☆20Dec 8, 2021Updated 4 years ago
• ilya-klyuchnikov / ttlite

  View on GitHub
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Jan 29, 2022Updated 4 years ago
• akeep / abstract-racket

  View on GitHub
  An abstract machine for analyzing Racket bytecode.
  ☆29May 1, 2021Updated 4 years ago
• webyrd / relational-parsing-with-derivatives

  View on GitHub
  Relational version of parsing with derivatives code
  ☆43Feb 15, 2013Updated 12 years ago
• JohnWCartmell / Theory

  View on GitHub
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Feb 3, 2026Updated last week
• wilbowma / cur

  View on GitHub
  A less devious proof assistant
  ☆231Jan 23, 2023Updated 3 years ago