mbenke/doko-funkcje
Prezentacja na Dni Otwarte Kampusu Ochota
Public GitHub Catalog
Discovered Oct 3, 2026
mbenke / ocharles-blog
The contents of ocharles.org.uk/blog
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.
#28411769GitHub System ID
mbenkeOrganization / User
PublicVisibility
ActiveCatalog Status
More from mbenke
mbenke/popl2015-papers
Accepted papers for POPL 2015
mbenke/hasmin
Public repository.
mbenke/idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.