Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)
最后更新于 1 月之前
AV1 from Alliance for Open Media: Google, Mozilla, Xiph.org, Cisco, ...
最后更新于 1 月之前
Experimental OS from Russia: "userland" but also contains kernel code
最后更新于 2 年之前
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 年之前