sverrirth's starred repositories

forest

A multi-cursor structural editor prototype for TypeScript

Language:TypeScriptLicense:MITStargazers:56Issues:0Issues:0

sqlancer

Automated testing to find logic and performance bugs in database systems

Language:JavaLicense:MITStargazers:1475Issues:0Issues:0

Stoat

Stoat (STochastic model App Tester) - an automatic testing tool for android apps

Language:PythonStargazers:141Issues:0Issues:0

yinyang

A fuzzing framework for SMT solvers

Language:PythonLicense:MITStargazers:182Issues:0Issues:0