mkmks/mkmks.github.io
My homepage.
Public GitHub Catalog
Discovered Sep 26, 2026
mkmks / .emacs.d
My Emacs configuration.
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.
#7276002GitHub System ID
mkmksOrganization / User
PublicVisibility
ActiveCatalog Status
More from mkmks
mkmks/CTFP2014
Homework collaboration for the Category Theory in Functional Programming course at Chalmers
mkmks/ornaments
An implementation of ornaments from 'Transporting Functions Across Ornaments'
mkmks/sf
Exercises from Pierce's "Software Foundations".