platform
seL4
0 0

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

最後更新於 1 月之前

AOM
0 0

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

最後更新於 1 月之前

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

最後更新於 2 年之前

Java
0 0

最後更新於 3 年之前

daala
0 0

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 年之前

colors
0 0

Color handling for web

最後更新於 8 年之前

eschalot
0 0

.onion address generator (archive)

最後更新於 8 年之前