enzet

Follow

Sergey Vartanov enzet

Follow

72 followers · 40 following

Institute for System Programming RAS
http://enzet.ru
@enzet

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report enzet

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

enzet/README.md

Hi, I’m Sergey 👋

As a system programmer, I’m interested in dynamic and static program analysis; created the Diagram of Symbolic Execution.

In my spare time I’m currently working on

map rendreng project Map Machine (and experimental OpenMoonMap based on it),
semi-generated icon set Röntgen,
language learning research project Emmio.

The fastest way to contact me on any issue is Telegram: @enzet.

Mastodon: @enzet@masto.ai.

Pinned

symbolic-execution symbolic-execution Public

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

Kotlin 478 56
map-machine map-machine Public

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

Python 236 20
Roentgen Roentgen Public

Set of 14 × 14 px monochrome CC-BY map icons

Python 12
Emmio Emmio Public

Tool box for learning

Python 7
program-model program-model Public

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

TeX 7 2
OpenMoonMap OpenMoonMap Public

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

Python 5