Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

jcouyang/meow

Catless Category Theory in Dotty/Scala 3 meow ~
Source code at GitHub https://oyanglul.us/meow
jcouyang/meow.json
{
  "createdAt": "2020-03-28T11:38:14Z",
  "defaultBranch": "master",
  "description": "Catless Category Theory in Dotty/Scala 3 meow ~",
  "fullName": "jcouyang/meow",
  "homepage": "https://oyanglul.us/meow",
  "language": "Scala",
  "name": "meow",
  "pushedAt": "2023-03-07T10:16:05Z",
  "stargazersCount": 44,
  "topics": [
    "category-theory",
    "dotty",
    "kan-extensions",
    "scala"
  ],
  "updatedAt": "2025-06-24T03:59:11Z",
  "url": "https://github.com/jcouyang/meow"
}

docs/index.md