Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

A curated, yet incomplete, list of freelancer recruitment & placement websites in Germany.

Collection of Auditd Examples and Presentations

Insta Funkbus (Gira/Becker/Jung) Library for Arduino

Sonicare brush head nfc pwd cracker

Eine Weboberfläche als Alternative zum Java-Client

Server zum Steuern des Crawler

A fast and classic X11 text editor, based on NEdit, with full unicode support and antialiased text rendering.

a Qt5 port of the NEdit using modern C++14

💀 Generate a bunch of malicious pdf files with phone-home functionality. Can be used with Burp Collaborator or Interact.sh

JDBC driver over SSH tunnel using SSHJ

Trace software components, packages and files between Development/Source and Deployment/Distribution/Binaries codebases - Static analysis

Sublime Text Editor Themes for Fortify rulepacks and NSTs

Dictionary of attack patterns and primitives for black-box application fault injection and resource discovery.

pysap is an open source Python library that provides modules for crafting and sending packets using SAP's NI, Diag, Enqueue, Router, MS, SNC, IGS, RFC and HDB protocols.

Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"

The #SAT solver sharpSAT

A minimalistic and high-performance SAT solver