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

Aktualisiert vor 1 Monat

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

Aktualisiert vor 1 Monat

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

Aktualisiert vor 2 Jahren

Aktualisiert vor 3 Jahren

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

Aktualisiert vor 5 Jahren

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

Aktualisiert vor 6 Jahren

My "Blog" links point here

Aktualisiert vor 8 Jahren

Firefox add-ons.

Aktualisiert vor 8 Jahren

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

Aktualisiert vor 8 Jahren

Parse PNG files in PHP

Aktualisiert vor 8 Jahren

Parse MPEG-TS streams in PHP

Aktualisiert vor 8 Jahren

Color handling for web

Aktualisiert vor 8 Jahren

.onion address generator (archive)

Aktualisiert vor 8 Jahren