ConstantinRuhdorfer
Ph. D. student of Computer Science at IMPRS-IS and University Stuttgart working at its HCI-CS group on Human-AI interaction and Machine Theory of Mind.
Stuttgart UniversityStuttgart
Pinned Repositories
CassandraLogStream
A project for introducing Cassandra with Spark written in Scala.
Cheatsheet-Mechanical-Theorem-Proving
This repo holds a cheatsheet containing everything related to field of mechanical theorem proving that is relevant to my work.
Chocolate-Factory
constantinruhdorfer.github.io
eprover
Feed-Forward-Neural-Network
A small C++ feed forward neural network using backpropagation written with the Eigen3 library.
Haskell-Advent-of-Code
A few solutions for https://adventofcode.com/ in haskell.
movieDB
Project of the Java class at DHBW Stuttgart in the summer semester of 2018.
fsoco
Formula Student Objects in Context Dataset for the Formula Student Driverless competitions
GSD2AML-Converter
Converts a ProfiNet GSD file to an AML string or an AMLX package using the AML.Engine.
ConstantinRuhdorfer's Repositories
ConstantinRuhdorfer/CassandraLogStream
A project for introducing Cassandra with Spark written in Scala.
ConstantinRuhdorfer/Haskell-Advent-of-Code
A few solutions for https://adventofcode.com/ in haskell.
ConstantinRuhdorfer/Feed-Forward-Neural-Network
A small C++ feed forward neural network using backpropagation written with the Eigen3 library.
ConstantinRuhdorfer/movieDB
Project of the Java class at DHBW Stuttgart in the summer semester of 2018.
ConstantinRuhdorfer/Cheatsheet-Mechanical-Theorem-Proving
This repo holds a cheatsheet containing everything related to field of mechanical theorem proving that is relevant to my work.
ConstantinRuhdorfer/Chocolate-Factory
ConstantinRuhdorfer/constantinruhdorfer.github.io
ConstantinRuhdorfer/E-Evaluation
Script template for comparing two different eprover versions using pyprove http://www.eprover.org/.
ConstantinRuhdorfer/eprover
ConstantinRuhdorfer/fsoco
Formula Student Objects in Context Dataset for the Formula Student Driverless competitions
ConstantinRuhdorfer/GraphLib
A small library for representing graphs for the class of "Combinatorial Optimization" at Baden-Wuerttemberg Cooperative State University Stuttgart.
ConstantinRuhdorfer/haskell-GraphLib
Implementing graph libraries has become my new hello world...
ConstantinRuhdorfer/Kaggle_TitanicChallenge
My take on the titanic challenge on Kaggle unsing random forest classification https://www.kaggle.com/c/titanic.
ConstantinRuhdorfer/PantheonRL
PantheonRL is a package for training and testing multi-agent reinforcement learning environments. PantheonRL supports cross-play, fine-tuning, ad-hoc coordination, and more.
ConstantinRuhdorfer/pyprove
ConstantinRuhdorfer/ReasonML-GraphLib
A small library for representing graphs for the class of "Combinatorial Optimization" at Baden-Wuerttemberg Cooperative State University Stuttgart. Yes https://github.com/ConstantinRuhdorfer/GraphLib exists, but a) It was too slow for the big inputs and b) I was challenged to make a functional version.
ConstantinRuhdorfer/rl-course
Reinforcement Learning course at the University of Stuttgart
ConstantinRuhdorfer/ruhdorfer.me
My personal website (in developement!).
ConstantinRuhdorfer/Suolo_android
The Android front-end of the Suolo project which won first place at the coding competition of the dhbw summer school 2018.