comco/proofmi
Fun with Lambda Calculus in Scala
Public GitHub Catalog
Discovered Sep 27, 2026
comco / mpi-distributed-steepest-descent
Public repository discovered through GitHub real-time crawl.
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.
#11048938GitHub System ID
comcoOrganization / User
PublicVisibility
ActiveCatalog Status
More from comco
comco/msc-nonclassical-logics-seminar-notes
Notes for my lectures on non-classical logics. In Bulgarian.
comco/Zenburn
Zenburn is a low-contrast color scheme for Vim.
comco/scrappy
tools for structured data processing