Stars
Mindless, verified (erasably) coding using dependent types
A certified compiler of exceptions from my thesis (Agda)
[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.
very simple http daemon written for Bourne-Again SHell
ziman / kyberia-haiku
Forked from rhritz/kyberia-haikuKyberia Haiku - advanced community web application based on the ideas of kyberia.sk. Kyberia-haiku is built on the Play! framework and uses MongoDB to store content.
Kyberia Haiku - advanced community web application based on the ideas of kyberia.sk. Kyberia-haiku is built on the Play! framework and uses MongoDB to store content.