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

Atualizado 1 ano atrás

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

Atualizado 1 ano atrás

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

Atualizado 3 anos atrás

Atualizado 4 anos atrás

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

Atualizado 6 anos atrás

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

Atualizado 7 anos atrás

My "Blog" links point here

Atualizado 9 anos atrás

Firefox add-ons.

Atualizado 9 anos atrás

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

Atualizado 9 anos atrás

Parse PNG files in PHP

Atualizado 9 anos atrás

Parse MPEG-TS streams in PHP

Atualizado 9 anos atrás

Color handling for web

Atualizado 9 anos atrás

.onion address generator (archive)

Atualizado 9 anos atrás