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

最終更新 2 ヶ月 前

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

最終更新 2 ヶ月 前

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

最終更新 2 年 前

最終更新 3 年 前

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

最終更新 8 年 前

Color handling for web

最終更新 8 年 前

.onion address generator (archive)

最終更新 8 年 前