Explore projects
-
Kristián Kumor / slowbeastCSE
MIT LicenseUpdated -
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
Archived 0Updated -
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
-
UpdatedUpdated
-
paradise / mirror / RoFI
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalThis is a mirror of https://github.com/paradise-fi/RoFI
Updated -
-
Updated
-
Updated
-
Materials for PV181 Laboratory of security and applied cryptography
Updated -
-
Log Collection and Analysis project for the course PV177 Data Science in semester Fall 2019.
Updated -
Updated
-
-
-