Skip to content
<awesome-gh-repos>
vic

namin/metamk

Prolog-Style Meta-Interpreters in miniKanren
Source code at GitHub https://github.com/namin/metamk
namin/metamk.json
{
  "createdAt": "2013-12-04T18:33:45Z",
  "defaultBranch": "master",
  "description": "Prolog-Style Meta-Interpreters in miniKanren",
  "fullName": "namin/metamk",
  "homepage": "",
  "language": "Scheme",
  "name": "metamk",
  "pushedAt": "2025-03-09T17:30:42Z",
  "stargazersCount": 33,
  "topics": [
    "logic-programming",
    "meta",
    "metaprogramming",
    "minikanren",
    "prolog",
    "reflection",
    "scheme"
  ],
  "updatedAt": "2025-07-08T01:24:00Z",
  "url": "https://github.com/namin/metamk"
}

404: Not Found