jeremie-koenig

Jérémie Koenig's repositories

Some Hurd-related glibc patches

Language:CGPL-2.0900

Some branches off GNU Hurd's master

Language:CGPL-2.0500

Porting BusyBox to FreeBSD and Hurd

Language:CNOASSERTION4 3 1

Debian maintenance of genext2fs

Language:CGPL-2.03 2 1

A virtual filesystem emulating the Linux procfs on Hurd.

Language:C3 20

Scripts for Hurd installation mirrors

Java bindings for Mach and Hurd

Language:Java100

OpenJDK 7 patches for Hurd and GNU/kFreeBSD

Language:C++GPL-2.01 20

Configuration file generation framework

Language:ShellNOASSERTION02 3

Language:CoqNOASSERTION000

020

Dialectica and games

Language:Coq020

Game Interpretation of Dialectica Constructions

Language:TeX000

Example git repository

Language:C020

Graph paper for old school stock charting in the way of Helene Meisler

Language:TeXMIT020

Language:Perl020