Explore projects

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast

photomultiplier pulse counter/detector software for Red Pitaya

PV181 crypto libraries examples.

This is a mirror of https://github.com/paradise-fi/RoFI

Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.

implementation part of my SBAPR

Program searching for a-phased repeats.

Software Vulnerabilities for Interactive Cybersecurity Training

https://is.muni.cz/auth/th/b4vd5/