Explore projects
-
-
Updated
-
Juraj Marcin / WhimSE
GNU General Public License v3.0 or laterUpdated -
Lukáš Ručka / voro
Lawrence Berkeley National Labs BSD variant licenseUpdated -
Updated
-
-
Updated
-
Updated
-
-
Updated
-
Suyash Shandilya / slowbeast-no-data-race
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 -
Jan Koniarik / schpin-robot
GNU General Public License v3.0 onlyUpdated -
Updated
-
Oldřich Pecák / rp_pulse_profiler
MIT Licensephotomultiplier pulse counter/detector software for Red Pitaya
Updated -
Updated
-
Updated
-
Updated