Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
-
Updated
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
archived 0Updated -
Updated
-
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.
Updated -
A soft similarity search engine for the AHISTO project
Updated -
Updated
-
photomultiplier pulse counter/detector software for Red Pitaya
Updated -
Updated
-
Updated
-
-
-
Log Collection and Analysis project for the course PV177 Data Science in semester Fall 2019.
Updated -