Sergey Vartanov (enzet)

enzet

Geek Repo

Company:Institute for System Programming RAS

Location:Moscow, Russia

Home Page:http://enzet.ru

Twitter:@enzet

Github PK Tool:Github PK Tool


Organizations
ispras

Sergey Vartanov's repositories

symbolic-execution

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

Language:KotlinLicense:CC-BY-SA-4.0Stargazers:477Issues:38Issues:33

map-machine

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

Language:PythonLicense:MITStargazers:226Issues:6Issues:147

Roentgen

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

Language:PythonLicense:NOASSERTIONStargazers:10Issues:1Issues:1

awesome-symbolic-execution

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

License:CC0-1.0Stargazers:7Issues:2Issues:0

program-model

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

Emmio

Tool box for learning

Language:PythonLicense:MITStargazers:6Issues:2Issues:24

OpenMoonMap

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

Language:PythonLicense:MITStargazers:5Issues:1Issues:0

awesome-solving

SAT and SMT solving.

symexbib

A bibliography of papers related to symbolic execution

Language:TeXStargazers:1Issues:2Issues:0

iconscript

Generating icons using text commands

Language:GoStargazers:1Issues:1Issues:0

metro

Wikidata transport systems parser

Language:PythonLicense:MITStargazers:1Issues:1Issues:1

Moire

Simple markup language

Language:PythonLicense:MITStargazers:1Issues:2Issues:8

black

The uncompromising Python code formatter

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

bus-schedule

Simple bus schedule generator

Language:JavaScriptStargazers:0Issues:1Issues:0

Chronicle

A tool for logging events of life

Language:PythonStargazers:0Issues:1Issues:0

COVID-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

Language:PythonStargazers:0Issues:1Issues:0

dts

Distributed testing system

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

map-machine-web-site

Web site for Map Machine project and Röntgen icon set

Language:JavaScriptStargazers:0Issues:1Issues:12

metro-public

Station layout drawing.

Language:PythonStargazers:0Issues:2Issues:0

MMapper

A processing sketch for rendering location and activity data from the Moves iPhone app.

Language:ProcessingStargazers:0Issues:2Issues:0

openstreetmap-carto

A general-purpose OpenStreetMap mapnik style, in CartoCSS

Language:CartoCSSLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Reading

Simple JS interface for reading

Language:JavaScriptStargazers:0Issues:1Issues:0
Language:CSSStargazers:0Issues:1Issues:0

sublime-text-moire-color-scheme

Sublime Text Moire color scheme

Stargazers:0Issues:1Issues:0

vector-2022-custom-css

Custom CSS for Wikipedia Vector 2022 skin

Language:CSSStargazers:0Issues:1Issues:0

WiktionaryParser

A Python Wiktionary Parser

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