enzet Goto Github PK

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.

black

The uncompromising Python code formatter

book

bus-schedule

Simple bus schedule generator

chronicle

A tool for logging events of life

covid-19

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

dts

Distributed testing system

emacs-icons

emmio

Tool box for learning

enzet

iconscript

Generating icons using text commands

map-machine

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

map-machine-web-site

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

metro

Wikidata transport systems parser

metro-public

Station layout drawing.

mmapper

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

moire

Simple markup language

openmoonmap

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

openstreetmap-carto

A general-purpose OpenStreetMap mapnik style, in CartoCSS

program-model

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

reading

Simple JS interface for reading

roentgen

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

style

sublime-text-moire-color-scheme

Sublime Text Moire color scheme

symbolic-execution

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

symexbib

A bibliography of papers related to symbolic execution

vector-2022-custom-css

Custom CSS for Wikipedia Vector 2022 skin

wiktionaryparser

A Python Wiktionary Parser