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

Uppdaterad 2 månader sedan

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

Uppdaterad 2 månader sedan

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

Uppdaterad 2 år sedan

Uppdaterad 3 år sedan

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

Uppdaterad 5 år sedan

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

Uppdaterad 6 år sedan

My "Blog" links point here

Uppdaterad 8 år sedan

Firefox add-ons.

Uppdaterad 8 år sedan

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

Uppdaterad 8 år sedan

Parse PNG files in PHP

Uppdaterad 8 år sedan

Parse MPEG-TS streams in PHP

Uppdaterad 8 år sedan

Color handling for web

Uppdaterad 8 år sedan

.onion address generator (archive)

Uppdaterad 8 år sedan