Mindless, verified (erasably) coding using dependent types

Globe stripe generator

A certified compiler of exceptions from my thesis (Agda)

A math pastebin (pastemath.functor.sk)

A deconvolution algorithm

Simple Prolog type checker

A simple certified expression compiler (Coq)

HDR to LDR leveler

Astrophotography stacker

[unofficial fork] RAR bruteforce cracker

[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.

Recover JPEG/CR2 files from raw bytes.

Create anaglyph movies from stereomovies

Anaglyph Chemistry

very simple http daemon written for Bourne-Again SHell

Preprocess wordlists before compression

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.

Backup system written in Haskell

A simple Prolog implementation in Haskell

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.