Explore projects

Překladač do předmětu PA037 Projekt z překladačů.

Presentation to FAKOS 2019 about PDR/IC3.

tensor library for c because why not

This is a repository for the following project: https://www.fi.muni.cz/lemma/projekty/dissim/.

Answer extraction module for YES/NO questions of AQA system

Minimal pipeline examples for IV110/IV114 at FI MUNI

A LaTeX document class for the typesetting of theses at the Masaryk University in Brno

Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.

photomultiplier pulse counter/detector software for Red Pitaya

An OCR engine for the AHISTO project