Sergey Vartanov

map-machine. Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible

symbolic-execution. History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Roentgen. Set of 14 × 14 px monochrome CC BY map icons

Emmio. Tool box for learning

OpenMoonMap. Small research project on using OpenStreetMap XML format to create the open map for Moon

program-model. Formal model of program execution, symbolic execution, and taint tracking

awesome-symbolic-execution. A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

awesome-solving. SAT and SMT solving.

iconscript. Generating icons using text commands

symexbib. A bibliography of papers related to symbolic execution

Book. TeX

Chronicle. A minimalist command-line journaling system for tracking daily activities, metrics, and insights

Moire. Simple markup language

wikidata-transport-parser. Wikidata transport systems parser