ziman

followers

following

stars

https://ziman.functor.sk

Matúš Tejiščák's starred repositories

rarcrack

[unofficial fork] RAR bruteforce cracker

Language:CGPL-2.0105 12 3

mindless-coding

Mindless, verified (erasably) coding using dependent types

Language:CoqMIT104 80

bash-web-server

very simple http daemon written for Bourne-Again SHell

Language:Shell10 20

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.07 2 12

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

simple-prolog

A simple Prolog implementation in Haskell

Language:HaskellBSD-3-Clause3 30

dictpress

Preprocess wordlists before compression

Language:C2 20

globusator

Globe stripe generator

Language:Perl2 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

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

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