new xlogin site
Shared configuration for all my accounts
A TE-nester optimization tool
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.