Formally verified microkernel: Will it replace Linux on GNU systems? (mirror)
Geupdate 1 week geleden
Experimental OS from Russia: "userland" but also contains kernel code
Geupdate 2 jaren geleden
Geupdate 3 jaren geleden
The Ultimate Minimalistic Web Framework that does Nothing Magic™ (PHP version)
Geupdate 5 jaren geleden
A strong, yet deterministic password generator forked from Jonathan Self's original proposition. Fulfills strong entropy requirements.
Geupdate 8 jaren geleden