Skip to content
<awesome-gh-repos>
vic

webyrd/miniKanren-uncourse

Code, wiki, and resources for the weekly miniKanren uncourse
Source code at GitHub null
webyrd/miniKanren-uncourse.json
{
  "createdAt": "2014-11-11T22:39:29Z",
  "defaultBranch": "master",
  "description": "Code, wiki, and resources for the weekly miniKanren uncourse",
  "fullName": "webyrd/miniKanren-uncourse",
  "homepage": null,
  "language": "Scheme",
  "name": "miniKanren-uncourse",
  "pushedAt": "2015-04-20T03:44:56Z",
  "stargazersCount": 52,
  "topics": [],
  "updatedAt": "2024-02-21T15:51:56Z",
  "url": "https://github.com/webyrd/miniKanren-uncourse"
}

miniKanren-uncourse

Section titled “miniKanren-uncourse”

Code, wiki, and resources for the weekly miniKanren uncourse.

Recorded uncourse hangouts:
https://www.youtube.com/playlist?list=PLO4TbomOdn2cks2n5PvifialL8kQwt0aW

Official miniKanren site:
http://minikanren.org/

miniKanren IRC channel:
irc.freenode.net, #minikanren