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

Zaktualizowano 1 miesiąc temu

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

Zaktualizowano 1 miesiąc temu

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

Zaktualizowano 2 lat temu

Zaktualizowano 3 lat temu

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

Zaktualizowano 5 lat temu

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

Zaktualizowano 6 lat temu

My "Blog" links point here

Zaktualizowano 8 lat temu

Firefox add-ons.

Zaktualizowano 8 lat temu

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

Zaktualizowano 8 lat temu

Parse PNG files in PHP

Zaktualizowano 8 lat temu

Parse MPEG-TS streams in PHP

Zaktualizowano 8 lat temu

Color handling for web

Zaktualizowano 8 lat temu

.onion address generator (archive)

Zaktualizowano 8 lat temu