Skip to content
<awesome-gh-repos>
vic

webyrd/tree-automata

Tree-automata-based run-time type constraints for miniKanren
Source code at GitHub null
webyrd/tree-automata.json
{
  "createdAt": "2014-12-10T21:02:49Z",
  "defaultBranch": "master",
  "description": "Tree-automata-based run-time type constraints for miniKanren",
  "fullName": "webyrd/tree-automata",
  "homepage": null,
  "language": "Racket",
  "name": "tree-automata",
  "pushedAt": "2023-08-03T19:02:16Z",
  "stargazersCount": 14,
  "topics": [],
  "updatedAt": "2024-07-16T00:04:29Z",
  "url": "https://github.com/webyrd/tree-automata"
}

tree-automata

Section titled “tree-automata”

Tree-automata-based run-time type constraints for miniKanren

Tree automata code by Michael D. Adams