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

Обновлено 3 месяцев назад

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

Обновлено 3 месяцев назад

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

Обновлено 2 лет назад

Обновлено 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.

Обновлено 8 лет назад

Parse PNG files in PHP

Обновлено 8 лет назад

Parse MPEG-TS streams in PHP

Обновлено 9 лет назад

Color handling for web

Обновлено 9 лет назад

.onion address generator (archive)

Обновлено 9 лет назад