Explore projects

photomultiplier pulse counter/detector software for Red Pitaya

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

Program searching for a-phased repeats.

tensor library for c because why not

Software Vulnerabilities for Interactive Cybersecurity Training

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

This is a solo repo of the tools that Honza Hubeny and myself once started, and that used to be for a long time living within the MitoGen, recently in a branch called tools. This has moved into this repository, hopefully for good.

Cube's firmware

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

Software for processing and analysis of human faces. Re-implementation of https://github.com/Fidentis/Analyst

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

Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.