comco/proofmi
Fun with Lambda Calculus in Scala
Public GitHub Catalog
Discovered Oct 3, 2026
comco / msc-nonclassical-logics-seminar-notes
Notes for my lectures on non-classical logics. In Bulgarian.
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.
#25991764GitHub System ID
comcoOrganization / User
PublicVisibility
ActiveCatalog Status
More from comco
comco/Zenburn
Zenburn is a low-contrast color scheme for Vim.
comco/scrappy
tools for structured data processing
comco/eai
sources of materials in formal languages, automata and computability