Type Theory Trending Repositories

Explore GitHub Trending repositories tagged “type-theory”.

Every repository shown here comes from the PostgreSQL Trending catalog.