Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Lecture notes, I take when attending math courses 🖋
Bachelor thesis at Kobe university
UTF8 unicode point representation in various languages; eg. A → U+41
My master thesis at IAIK
Analyze CNF benchmark files with golang
Hashing DIMACS CNF files (Go implementation)
Download public CNF benchmark files with zsh scripts
Analyze CNF benchmark files with python3
Testsuite for cnf-analysis
Hashing DIMACS CNF files
Testsuite for cnf-hash 2.0.0
Testsuite for cnf-hash 1.0.0
Python library to verify integer operations using SAT solvers
Edmond's branching algorithm implementation in Python3 and Haskell
A turingmachine for educational purposes (HTML5-webapp)
Extend phridge for gherkin-based testcases using yadda
Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Characteristics"
Testing framework for HTML5 Scratch Player
Lernkarten zur Amateurfunkprüfung, Stand Dezember 2014
Referat und Präsentation über Schriften germanischer Völker
TCS2 lecture notes (WS 2013/14, Klinz)
Control center of the GDI course
An educational depth-first search game (not developed by myself!)
HTML 5 based Scratch project player
Backend for http://developer.catrobat.org/
Matches web-crawler-analysis output with NIST vulnerabilities database
A web application featuring a document repository with search, storage and retrieval capabilities.