jeremie-koenig

@CertiKOS New Haven, CT

Pinned Repositories

busybox-osports
Porting BusyBox to FreeBSD and Hurd
Language:C4 3 10
cfgf
Configuration file generation framework
Language:Shell0 2 30
compcert
Language:Coq00
genext2fs
Debian maintenance of genext2fs
Language:C3 2 14
glibc
Some Hurd-related glibc patches
Language:C9 2 03
hurd
Some branches off GNU Hurd's master
Language:C5 4 02
hurd-installer-mirror
Scripts for Hurd installation mirrors
2 2 00
hurd-java
Java bindings for Mach and Hurd
Language:Java10
jdk7-hotspot
OpenJDK 7 patches for Hurd and GNU/kFreeBSD
Language:C++1 2 00
procfs
A virtual filesystem emulating the Linux procfs on Hurd.
Language:C3 2 00

jeremie-koenig's Repositories

jeremie-koenig/glibc
Some Hurd-related glibc patches
Language:C9 2 03
jeremie-koenig/hurd
Some branches off GNU Hurd's master
Language:C5 4 02
jeremie-koenig/busybox-osports
Porting BusyBox to FreeBSD and Hurd
Language:C4 3 10
jeremie-koenig/genext2fs
Debian maintenance of genext2fs
Language:C3 2 14
jeremie-koenig/procfs
A virtual filesystem emulating the Linux procfs on Hurd.
Language:C3 2 00
jeremie-koenig/hurd-installer-mirror
Scripts for Hurd installation mirrors
2 2 00
jeremie-koenig/hurd-java
Java bindings for Mach and Hurd
Language:Java10
jeremie-koenig/jdk7-hotspot
OpenJDK 7 patches for Hurd and GNU/kFreeBSD
Language:C++1 2 00
jeremie-koenig/cfgf
Configuration file generation framework
Language:Shell0 2 30
jeremie-koenig/compcert
Language:Coq00
jeremie-koenig/cs201-public
2 0
jeremie-koenig/diagames
Dialectica and games
Language:Coq2 0
jeremie-koenig/dialectica-games
Game Interpretation of Dialectica Constructions
Language:TeX
jeremie-koenig/hello
Example git repository
Language:C2 0
jeremie-koenig/hmgp
Graph paper for old school stock charting in the way of Helene Meisler
Language:TeX2 0
jeremie-koenig/ldapmin
Language:Perl2 0