ziman/bang-cheatsheet
Public repository.
Developer Profile
ziman
Discovered public repositories for ziman in the GitHub catalog.
ziman/bibdris
BibTeX database management in Idris
ziman/lightyear
Parser combinators for Idris
ziman/party
Leet time monitor
ziman/idris
A Dependently Typed Functional Programming Language
ziman/hilite
Terminal output highlighter
ziman/mgr-thesis
LaTeX sources of my thesis
ziman/trees
Even-odd trees from plain lists, structurally:
ziman/pingme
An e-mail reminder service.
ziman/ofca
OFCA Free Command Analyzer
ziman/agda-stuff
An assortment of small Agda developments
ziman/globusator
Globe stripe generator
ziman/excomp
A certified compiler of exceptions from my thesis (Agda)
ziman/pastemath
A math pastebin (pastemath.functor.sk)
ziman/deconvolution
A deconvolution algorithm
ziman/lamtc
Simple Prolog type checker
ziman/ecomp
A simple certified expression compiler (Coq)
ziman/leveler
HDR to LDR leveler
ziman/stacker
Astrophotography stacker
ziman/rarcrack
[unofficial fork] RAR bruteforce cracker
ziman/wireplay
[MIRROR] A minimalist approach to replay pcap-dumped TCP sessions.
ziman/jpg-recover
Recover JPEG/CR2 files from raw bytes.
ziman/anamovie
Create anaglyph movies from stereomovies
ziman/qanachem
Anaglyph Chemistry
ziman/dictpress
Preprocess wordlists before compression
ziman/kyberia-haiku
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.
ziman/hackup
Backup system written in Haskell
ziman/simple-prolog
A simple Prolog implementation in Haskell