NightRa/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Linear algebra and numerical computation
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
15-819 (Homotopy Type Theory) Lecture Notes
Happy Haskell programming for editors
Next generation programming platform, currently in development
A compiler for a Pascal-like language that I was required to implement in a compilers course.