Pinned Repositories
awesome-solving
SAT and SMT solving.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Emmio
Tool box for learning
map-machine
Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible
Moire
Simple markup language
OpenMoonMap
Small research project on using OpenStreetMap XML format to create the open map for Moon
phonetic-alphabet
A featural alternative to IPA
program-model
Formal model of program execution, symbolic execution, and taint tracking
Roentgen
Set of 14 × 14 px monochrome CC-BY map icons
symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
enzet's Repositories
enzet/map-machine
Python renderer for OpenStreetMap with custom icons intended to display as many map features as possible
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
enzet/Roentgen
Set of 14 × 14 px monochrome CC-BY map icons
enzet/Emmio
Tool box for learning
enzet/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
enzet/program-model
Formal model of program execution, symbolic execution, and taint tracking
enzet/OpenMoonMap
Small research project on using OpenStreetMap XML format to create the open map for Moon
enzet/awesome-solving
SAT and SMT solving.
enzet/symexbib
A bibliography of papers related to symbolic execution
enzet/Book
enzet/iconscript
Generating icons using text commands
enzet/metro
Wikidata transport systems parser
enzet/Moire
Simple markup language
enzet/phonetic-alphabet
A featural alternative to IPA
enzet/black
The uncompromising Python code formatter
enzet/bus-schedule
Simple bus schedule generator
enzet/Chronicle
A minimalist command-line journaling system for tracking daily activities, metrics, and insights
enzet/COVID-19
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
enzet/dts
Distributed testing system
enzet/emacs-icons
enzet/enzet
enzet/map-machine-web-site
Web site for Map Machine project and Röntgen icon set
enzet/metro-public
Station layout drawing.
enzet/MMapper
A processing sketch for rendering location and activity data from the Moves iPhone app.
enzet/openstreetmap-carto
A general-purpose OpenStreetMap mapnik style, in CartoCSS
enzet/Reading
Simple JS interface for reading
enzet/style
enzet/sublime-text-moire-color-scheme
Sublime Text Moire color scheme
enzet/vector-2022-custom-css
Custom CSS for Wikipedia Vector 2022 skin
enzet/WiktionaryParser
A Python Wiktionary Parser