parthy

Dresden

Pinned Repositories

nixpkgs
Nix Packages collection & NixOS
Language:Nix16.4k 277 38.8k12.9k
bender
A multiboot chainloader that makes PCI serial cards available for legacy use
Language:C0 1 00
genode
Genode OS Framework
Language:C++0 3 00
ggp
GGP
Language:Java7 4 00
gnu-efi
My gnu-efi development tree.
Language:C0 1 00
kpr2009
Complex Lab 2009 TUDOS
Language:C++0 2 00
nixpkgs
Nix Packages collection
Language:Nix2 1 00
NRE
NOVA runtime environment
Language:C++0 2 00
othello
gki
Language:Java0 2 00
seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
Language:C++1 5 00

parthy's Repositories

parthy/ggp
GGP
Language:Java7 4 00
parthy/nixpkgs
Nix Packages collection
Language:Nix2 1 00
parthy/seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
Language:C++1 5 00
parthy/bender
A multiboot chainloader that makes PCI serial cards available for legacy use
Language:C0 1 00
parthy/genode
Genode OS Framework
Language:C++0 3 00
parthy/gnu-efi
My gnu-efi development tree.
Language:C0 1 00
parthy/kpr2009
Complex Lab 2009 TUDOS
Language:C++0 2 00
parthy/NRE
NOVA runtime environment
Language:C++0 2 00
parthy/othello
gki
Language:Java0 2 00