Self-hosted AI workspace.

LTeX+: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others

ARchitect helps non-technical users create Automated Reasoning policies from their document

The Lean Computer Science Library (CSLib)

.NET BMW and VAG Ediabas interpreter library

Rust, C, and C++ WASM compilation under the same binary for the `wasm32-unknown-unknown` target

CUDD Decision Diagram Package

Distributed SMT solving framework

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

A Rust framework for correct and performant distributed systems

Papers from the computer science community to read and discuss.

Helm chart of Ghostfolio, the Open Source Wealth Management Software.

A framework for the elicitation, specification, formalization and analysis of requirements.

Concurrent decision diagram framework written in Rust

Curated coding interview preparation materials for busy software engineers

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

Die wichtigsten APIs Deutschlands in einem Python Paket.

repositories of my talks

The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.

Python scripts to interact with the CakeCMS API.