Pinned Repositories
Applied-Verification-Lab-Neural-Networks
Some tutorials for different approaches to verify neural networks.
DDiekmann
My README page.
dorian
My little linux helper!
elow
eran
ETH Robustness Analyzer for Deep Neural Networks
NixOSConfig
My personal nixos config.
UnityLibrary
:books: Library of all kind of scripts, snippets & shaders for Unity
zonotpy
TurtleTools
A unity package with basic tools for project creation and maintenance.
DDiekmann's Repositories
DDiekmann/Applied-Verification-Lab-Neural-Networks
Some tutorials for different approaches to verify neural networks.
DDiekmann/eran
ETH Robustness Analyzer for Deep Neural Networks
DDiekmann/DDiekmann
My README page.
DDiekmann/dorian
My little linux helper!
DDiekmann/elow
DDiekmann/NixOSConfig
My personal nixos config.
DDiekmann/UnityLibrary
:books: Library of all kind of scripts, snippets & shaders for Unity
DDiekmann/zonotpy