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

Actualizado hai 2 meses

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

Actualizado hai 2 meses

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

Actualizado %!s(int64=2) %!d(string=hai) anos

Actualizado %!s(int64=3) %!d(string=hai) anos

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

Actualizado %!s(int64=5) %!d(string=hai) anos

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

Actualizado %!s(int64=6) %!d(string=hai) anos

My "Blog" links point here

Actualizado %!s(int64=8) %!d(string=hai) anos

Firefox add-ons.

Actualizado %!s(int64=8) %!d(string=hai) anos

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

Actualizado %!s(int64=8) %!d(string=hai) anos

Parse PNG files in PHP

Actualizado %!s(int64=8) %!d(string=hai) anos

Parse MPEG-TS streams in PHP

Actualizado %!s(int64=8) %!d(string=hai) anos

Color handling for web

Actualizado %!s(int64=8) %!d(string=hai) anos

.onion address generator (archive)

Actualizado %!s(int64=8) %!d(string=hai) anos