jardhu

Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic :godmode:

Pinned Repositories

chisel3
Chisel 3: A Modern Hardware Design Language
Language:Scala00
dinocpu
Language:Scala1 1 00
gem5
Fork of main gem5 repo: https://gem5.googlesource.com/public/gem5/
Language:C++0 0 00
luminor
Approximate spherical lighting attenuation in Minecraft.
Language:Java0 1 00
new-website
New gem5 website
Language:HTML0 0 00
rust_minifb
Cross platfrom window and framebuffer crate for Rust
Language:Rust00
scala3-si-units
Toy project using Scala 3's type system for a type-safe dimensional analysis API
Language:Scala00
silverbullet-graphview
A Graphview for Silverbulletmd
Language:TypeScript00
terramagna
Voxel game project I worked on in 2015
Language:C++0 1 00
dinocpu
A teaching-focused RISC-V CPU design used at UC Davis
Language:Scala145 10 7938

jardhu's Repositories

jardhu/dinocpu
Language:Scala1 1 00
jardhu/chisel3
Chisel 3: A Modern Hardware Design Language
Language:Scala00
jardhu/gem5
Fork of main gem5 repo: https://gem5.googlesource.com/public/gem5/
Language:C++0 0 00
jardhu/luminor
Approximate spherical lighting attenuation in Minecraft.
Language:Java0 1 00
jardhu/new-website
New gem5 website
Language:HTML0 0 00
jardhu/rust_minifb
Cross platfrom window and framebuffer crate for Rust
Language:Rust00
jardhu/scala3-si-units
Toy project using Scala 3's type system for a type-safe dimensional analysis API
Language:Scala00
jardhu/silverbullet-graphview
A Graphview for Silverbulletmd
Language:TypeScript00
jardhu/terramagna
Voxel game project I worked on in 2015
Language:C++0 1 00
jardhu/valheim-vanity
Language:C#00
jardhu/ValheimMods
Language:C#0 0 00