Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)
Atualizado 3 meses atrás
AV1 from Alliance for Open Media: Google, Mozilla, Xiph.org, Cisco, ...
Atualizado 3 meses atrás
Experimental OS from Russia: "userland" but also contains kernel code
Atualizado 2 anos atrás
Atualizado 4 anos atrás
The Ultimate Minimalistic Web Framework that does Nothing Magic™ (PHP version)
Atualizado 6 anos atrás
A strong, yet deterministic password generator forked from Jonathan Self's original proposition. Fulfills strong entropy requirements.
Atualizado 8 anos atrás