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

Geupdate 1 maand geleden

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

Geupdate 1 maand geleden

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

Geupdate 2 jaren geleden

Geupdate 3 jaren geleden

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

Geupdate 5 jaren geleden

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

Geupdate 6 jaren geleden

My "Blog" links point here

Geupdate 8 jaren geleden

Firefox add-ons.

Geupdate 8 jaren geleden

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

Geupdate 8 jaren geleden

Parse PNG files in PHP

Geupdate 8 jaren geleden

Parse MPEG-TS streams in PHP

Geupdate 8 jaren geleden

Color handling for web

Geupdate 8 jaren geleden

.onion address generator (archive)

Geupdate 8 jaren geleden