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

Aggiornato 1 mese fa

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

Aggiornato 1 mese fa

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

Aggiornato 2 anni fa

Aggiornato 3 anni fa

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

Aggiornato 5 anni fa

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

Aggiornato 6 anni fa

My "Blog" links point here

Aggiornato 8 anni fa

Firefox add-ons.

Aggiornato 8 anni fa

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

Aggiornato 8 anni fa

Parse PNG files in PHP

Aggiornato 8 anni fa

Parse MPEG-TS streams in PHP

Aggiornato 8 anni fa

Color handling for web

Aggiornato 8 anni fa

.onion address generator (archive)

Aggiornato 8 anni fa