Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)

Mis à jour il y a 1 an

AV1 from Alliance for Open Media: Google, Mozilla, Xiph.org, Cisco, ...

Mis à jour il y a 1 an

Experimental OS from Russia: "userland" but also contains kernel code

Mis à jour il y a 3 ans

Mis à jour il y a 4 ans

The next-generation video codec for the Web (mirror)

Mis à jour il y a 6 ans

The Ultimate Minimalistic Web Framework that does Nothing Magic™ (PHP version)

Mis à jour il y a 7 ans

My "Blog" links point here

Mis à jour il y a 9 ans

Firefox add-ons.

Mis à jour il y a 9 ans

A strong, yet deterministic password generator forked from Jonathan Self's original proposition. Fulfills strong entropy requirements.

Mis à jour il y a 9 ans

Parse PNG files in PHP

Mis à jour il y a 9 ans

Parse MPEG-TS streams in PHP

Mis à jour il y a 9 ans

Color handling for web

Mis à jour il y a 9 ans

.onion address generator (archive)

Mis à jour il y a 9 ans