Explore projects

Blogs für Informatik und Gesellschaft

AssI is a small tool to index and search exam/exercise assignments. Assignments are stored as LaTeX files and can be augmented with a title and tags.

This project provides JavaScript-tools to convert a Sudoku to a ILP-program (Integer Liner Programming). It is tailored to work with GLPK.js (GNU Linear Programming Kit). Thus, it can be used to solve Sudokus directly in a Browser.

Assembler Programmierung Labor 2016

🏡 Open source home automation that puts local control and privacy first.

hands on machine learning with python

Hacky C++ Implementierung des SAT-Solvers