cruhland/computer-systems-class
Resources for teaching computer systems fundamentals
Public GitHub Catalog
Discovered Oct 6, 2026
cruhland / gentzen
Interactive theorem proving using natural deduction
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.
#34037776GitHub System ID
cruhlandOrganization / User
PublicVisibility
ActiveCatalog Status
More from cruhland
cruhland/notes
Useful information and random musings
cruhland/tlpi-rust
Translating programs from the book "The Linux Programming Interface" to Rust
cruhland/js-scratchpad
My attempt to learn JavaScript by building things