Dennis Diekmann's repositories
Applied-Verification-Lab-Neural-Networks
Some tutorials for different approaches to verify neural networks.
DDiekmann
My README page.
000
dorian
My little linux helper!
Language:ShellMIT000
Language:Python000
NixOSConfig
My personal nixos config.
Language:Nix000
UnityLibrary
:books: Library of all kind of scripts, snippets & shaders for Unity
Language:C#MIT000
Language:Jupyter NotebookMIT000