Some tutorials for different approaches to verify neural networks.

Satisfiable benchmarks from reactive synthesis. The challenge is to find small solutions.

A new Hardware Design Language that keeps you in the driver's seat

Tools for running grading scripts on Moodle assignments

Tool to backup ShareLaTeX projects locally.

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis (IJCAI2021)

A LaTeX template for grant proposals to the DFG.

Arduino compatible Risc-V Based SOC

VSDBabySoC is a small mixed-signal SoC including PLL, DAC, and a RISCV-based processor named RVMYTH.

Materials for a German Python course

My utilities for OpenSCAD

Translates GDSII into HTML/JS that can be viewed in WebGL-capable web browsers.

β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

Source code and data of Second Reality by Future Crew in 1993

A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.

Send video/audio over HDMI on an FPGA