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 년 전