natestuder

DornerWorksGrand Rapids

Pinned Repositories

cosmos
ClickOS toolstack
Language:C0 1 00
javascript_menu
Javascript Button Controlled Menu
Language:CSS0 1 00
kyler_game
Kyler wants to make a video game
0 1 00
linux_config
Linux Configuration Files
Language:Emacs Lisp0 1 00
resume
Latex version of resume
Language:TeX0 1 00
riscv-isa-sim
Spike, a RISC-V ISA Simulator
Language:C0 1 00
riscv-qemu
QEMU with RISC-V (RV64G, RV32G) Emulation Support
Language:C0 1 00
seL4
The seL4 microkernel
Language:C4.8k 204 429679
seL4_tools
Basic tools for building seL4 projects
Language:C45 26 3093
sel4test
Test suite for seL4.
Language:C25 29 4263

natestuder's Repositories

natestuder/cosmos
ClickOS toolstack
Language:C0 1 00
natestuder/javascript_menu
Javascript Button Controlled Menu
Language:CSS0 1 00
natestuder/kyler_game
Kyler wants to make a video game
0 1 00
natestuder/linux_config
Linux Configuration Files
Language:Emacs Lisp0 1 00
natestuder/resume
Latex version of resume
Language:TeX0 1 00
natestuder/riscv-isa-sim
Spike, a RISC-V ISA Simulator
Language:C0 1 00
natestuder/riscv-qemu
QEMU with RISC-V (RV64G, RV32G) Emulation Support
Language:C0 1 00