JonasOberhauser

Pinned Repositories

genmc
Generic model checker for concurrent C programs
Language:C++0 0 00
gocurses
Go bindings for ncurses, with atomic accesses.
Language:Go4 1 22
gokemon
A go 2d RPG based loosely on the popular Pokemon (TM) by Nintendo (R)
Language:Go5 1 00
hahn
Hahn: A Coq library
Language:Coq0 0 00
linux
Linux kernel source tree
Language:C00
presentations
All my presentations
Language:TeX0 1 00
prog-2-tinyjava
0 0 00
riscv-boom
SonicBOOM: The Berkeley Out-of-Order Machine
Language:Scala0 0 00
seL4
The seL4 microkernel
Language:C0 0 00

JonasOberhauser's Repositories

JonasOberhauser/gokemon
A go 2d RPG based loosely on the popular Pokemon (TM) by Nintendo (R)
Language:Go5 1 00
JonasOberhauser/gocurses
Go bindings for ncurses, with atomic accesses.
Language:Go4 1 22
JonasOberhauser/genmc
Generic model checker for concurrent C programs
Language:C++0 0 00
JonasOberhauser/hahn
Hahn: A Coq library
Language:Coq0 0 00
JonasOberhauser/linux
Linux kernel source tree
Language:C00
JonasOberhauser/presentations
All my presentations
Language:TeX0 1 00
JonasOberhauser/prog-2-tinyjava
0 0 00
JonasOberhauser/riscv-boom
SonicBOOM: The Berkeley Out-of-Order Machine
Language:Scala0 0 00
JonasOberhauser/seL4
The seL4 microkernel
Language:C0 0 00
JonasOberhauser/z3
The Z3 Theorem Prover
Language:C++0 0 00