zakharvoit/type-theory2014
The type theory course homework tasks
Public GitHub Catalog
Discovered Sep 27, 2026
zakharvoit / contest-work
All contests and prewritten code
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10546919GitHub System ID
zakharvoitOrganization / User
PublicVisibility
ActiveCatalog Status
More from zakharvoit
zakharvoit/vim-tomorrow-theme
Tomorrow Theme for Vim
zakharvoit/os-homework-2014
Homeworks for the OS course in ITMO.
zakharvoit/math-logic2014
Public repository.