Skip to content
Avatar
53 followers · 36 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

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. symbolic-execution Public

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

    Kotlin 418 58

  2. program-model Public

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

    TeX 5 2

  3. map-machine Public

    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. OpenMoonMap Public

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

    Python 2

  6. a-b-street/osm2lanes Public

    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
Learn how we count contributions
Less More
Activity overview
Contributed to enzet/map-machine, a-b-street/osm2lanes, enzet/OpenMoonMap and 5 other repositories

Contribution activity

January 2022

Created 54 commits in 3 repositories
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.