Explore projects

Cube's firmware

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.

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

The Texture Module (TM) only for the ISBI2016 paper.

Kontr Test Development Kit - python library to write tests

Example tests written using KTDK

implementation part of my SBAPR

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.

A programming language compiler for the PA037 Compiler Project course.