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

Updated 1 year ago

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

Updated 1 year ago

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

Updated 3 years ago

Updated 4 years ago

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

Updated 6 years ago

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

Updated 7 years ago

My "Blog" links point here

Updated 9 years ago

Firefox add-ons.

Updated 9 years ago

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

Updated 9 years ago

Parse PNG files in PHP

Updated 9 years ago

Parse MPEG-TS streams in PHP

Updated 9 years ago

Color handling for web

Updated 9 years ago

.onion address generator (archive)

Updated 9 years ago