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