Skip to content
Avatar

Achievements

Achievements

Organizations

@ispras
Block or Report

Block or report enzet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse
enzet/README.md

Hi, I'm Sergey 👋

I’m currently working on Map Machine project.

Pinned

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

    Kotlin 418 58

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

    TeX 5 2

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

    Python 75 5

  4. Emmio Public

    Tool box for learning

    Python 2

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

    Python 2

  6. A common library and set of test cases for transforming OSM tags to lane specifications

    Rust 5 1

1,388 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Activity overview
Contributed to enzet/map-machine, a-b-street/osm2lanes, enzet/OpenMoonMap and 5 other repositories

Contribution activity

January 2022

Created 1 repository

Created a pull request in a-b-street/osm2lanes that received 1 comment

Support bus lanes in Python

Just synced Kotlin and Python functionality.

+20 −11 1 comment
Opened 1 other pull request in 1 repository
a-b-street/osm2lanes 1 open
Reviewed 3 pull requests in 1 repository
Opened 3 issues in 1 repository
9 contributions in private repositories Jan 2 – Jan 9

Seeing something unexpected? Take a look at the GitHub profile guide.