Skip to content
View enzet's full-sized avatar
77 followers · 42 following

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@ispras

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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; I created the Diagram of Symbolic Execution.

In my spare time, I’m working on several open-source research projects on different topics:

The quickest way to reach me is through Telegram: @enzet. My Mastodon is @[email protected].

Pinned Loading

  1. map-machine map-machine Public

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

    Python 527 36

  2. symbolic-execution symbolic-execution Public

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

    Kotlin 492 56

  3. Roentgen Roentgen Public

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

    Python 13

  4. phonetic-alphabet phonetic-alphabet Public

    A featural alternative to IPA

    C++

  5. Emmio Emmio Public

    Tool box for learning

    Python 9

  6. Moire Moire Public

    Simple markup language

    Python 1 1