Sergey Vartanov's repositories
symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
map-machine
Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
program-model
Formal model of program execution, symbolic execution, and taint tracking
OpenMoonMap
Small research project on using OpenStreetMap XML format to create the open map for Moon
awesome-solving
SAT and SMT solving.
iconscript
Generating icons using text commands
bus-schedule
Simple bus schedule generator
map-machine-web-site
Web site for Map Machine project and Röntgen icon set
metro-public
Station layout drawing.
openstreetmap-carto
A general-purpose OpenStreetMap mapnik style, in CartoCSS
sublime-text-moire-color-scheme
Sublime Text Moire color scheme
vector-2022-custom-css
Custom CSS for Wikipedia Vector 2022 skin
WiktionaryParser
A Python Wiktionary Parser