Explore projects

AVR ATtiny25/45/85 multi-purpose breakout board

Set of one-time presentations I did

A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.

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.

This repository contains a number of examples detailing the use of dynamic libraries from within the x86_64 assembly.

Program searching for a-phased repeats.

photomultiplier pulse counter/detector software for Red Pitaya

Kontr Test Development Kit - python library to write tests

implementation part of my SBAPR

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