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

Ажурирано пре 6 месеци

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

Ажурирано пре 6 месеци

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

Ажурирано пре 3 година

Ажурирано пре 4 година

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

Ажурирано пре 5 година

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

Ажурирано пре 6 година

My "Blog" links point here

Ажурирано пре 8 година

Firefox add-ons.

Ажурирано пре 8 година

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

Ажурирано пре 9 година

Parse PNG files in PHP

Ажурирано пре 9 година

Parse MPEG-TS streams in PHP

Ажурирано пре 9 година

Color handling for web

Ажурирано пре 9 година

.onion address generator (archive)

Ажурирано пре 9 година