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

Güncellendi 1 ay önce

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

Güncellendi 1 ay önce

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

Güncellendi 2 yıl önce

Güncellendi 3 yıl önce

The next-generation video codec for the Web (mirror)

Güncellendi 5 yıl önce

The Ultimate Minimalistic Web Framework that does Nothing Magic™ (PHP version)

Güncellendi 6 yıl önce

My "Blog" links point here

Güncellendi 7 yıl önce

Firefox add-ons.

Güncellendi 8 yıl önce

A strong, yet deterministic password generator forked from Jonathan Self's original proposition. Fulfills strong entropy requirements.

Güncellendi 8 yıl önce

Parse PNG files in PHP

Güncellendi 8 yıl önce

Parse MPEG-TS streams in PHP

Güncellendi 8 yıl önce

Color handling for web

Güncellendi 8 yıl önce

.onion address generator (archive)

Güncellendi 8 yıl önce