Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic
Pinned Loading
-
jlpteaching/dinocpu
jlpteaching/dinocpu PublicA teaching-focused RISC-V CPU design used at UC Davis
-
scala3-si-units
scala3-si-units Public archiveToy project using Scala 3's type system for a type-safe dimensional analysis API
Scala
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.