Sergey Vartanov
Results
2
repositories owned by
Sergey Vartanov
symbolic-execution
478
Stars
56
Forks
Watchers
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
map-machine
479
Stars
26
Forks
Watchers
Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible