Explore projects

Prostinká šablona závěrečné práce předvyplněná logem FI

AVR ATtiny25/45/85 multi-purpose breakout board

tensor library for c because why not

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

Simple Question Answering databse (SQAD) is a Question Answering onriented databse build form Czech Wikipedia articles and annotated with question, answer sentece, exact answer and metadata like question/answer type.

A soft similarity search engine for the AHISTO project

photomultiplier pulse counter/detector software for Red Pitaya