Beast code in Giters

Matúš Tejiščák's repositories

deconvolution

A deconvolution algorithm

Language:Matlab4 4 1

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.

Language:JavaAGPL-3.03 20

dictpress

Preprocess wordlists before compression

Language:C2 20

hackup

Backup system written in Haskell

Language:Haskell2 30

wireplay

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

Language:C2 30

anamovie

Create anaglyph movies from stereomovies

Language:C1 20

ecomp

A simple certified expression compiler (Coq)

Language:Verilog1 20

excomp

A certified compiler of exceptions from my thesis (Agda)

Language:JavaScript1 20

hilite

Terminal output highlighter

Language:Perl100

jpg-recover

Recover JPEG/CR2 files from raw bytes.

Language:C1 20

lamtc

Simple Prolog type checker

Language:Prolog1 20

leveler

HDR to LDR leveler

Language:C++NOASSERTION1 20

ofca

OFCA Free Command Analyzer

Language:C++100

pastemath

A math pastebin (pastemath.functor.sk)

Language:JavaScript1 20

qanachem

Anaglyph Chemistry

Language:C++1 20

stacker

Astrophotography stacker

Language:C++BSD-3-Clause1 30

trees

Even-odd trees from plain lists, structurally:

Language:Haskell100

agda-stuff

An assortment of small Agda developments

000

bang-cheatsheet

Language:TeX000

idris-tutorial

A tutorial to the Idris Programming Language.

Language:TeX000

mgr-thesis

LaTeX sources of my thesis

000

party

Leet time monitor

Language:CSS000

pingme

An e-mail reminder service.

Language:Python000