Pinned Repositories
algorithmen
Programms from the Algorithmen
arduino-hand
automation-exercise
automation-exercise-wt2223
cmake-exercise-wt2223
Repository for the CMake exercise of the SSE lecture
Covid-19
eingebettete_systeme
java-project
m5stick
spanningtree
nils-imhoff's Repositories
nils-imhoff/algorithmen
Programms from the Algorithmen
nils-imhoff/arduino-hand
nils-imhoff/automation-exercise
nils-imhoff/automation-exercise-wt2223
nils-imhoff/cmake-exercise-wt2223
Repository for the CMake exercise of the SSE lecture
nils-imhoff/Covid-19
nils-imhoff/eingebettete_systeme
nils-imhoff/java-project
nils-imhoff/m5stick
nils-imhoff/spanningtree
nils-imhoff/cpack-exercise-wt2223
Repository for the CPack exercise of the SSE lecture
nils-imhoff/diffusion2d
nils-imhoff/dolfinx
Next generation FEniCS problem solving environment
nils-imhoff/dotfiles
nils-imhoff/git-exercise
nils-imhoff/git-workshop
nils-imhoff/Lecture-Material
Material for the Simulation Software Engineering Lecture
nils-imhoff/MaschineLearning
nils-imhoff/mpich
Implementation of notified communications in MPICH
nils-imhoff/nils-imhoff.github.io
nils-imhoff/Paramodulation_Results
Evaluation of the benchmark results from StarExec.org for PyRes_Paramodulation
nils-imhoff/pixelflut
A python client for the pixelflut game at 37c3
nils-imhoff/projektmanagement
nils-imhoff/PyRes
Pedagogical first-order prover in Python
nils-imhoff/PyRes_Paramodulation
A fork of https://github.com/eprover/PyRes.git in the course of my student research project
nils-imhoff/Schwarmintelligenz
nils-imhoff/spack-exercise
nils-imhoff/t2000_presentation_template
Eine Vorlage für Apple Keynote
nils-imhoff/testing-boost-exercise-wt2223
nils-imhoff/testing-python-exercise-wt2223