Projects in Awesome Lists tagged with categorical-semantics
A curated list of projects in awesome lists tagged with categorical-semantics .
https://github.com/xieyuheng/cat
A categorical semantics library in Agda.
agda-library categorical-semantics category-theory type-theory
Last synced: 04 Apr 2025
