erohkohl

mlsolver

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

question-tagging

Predicting Stack Overflow's question tags with deep neural networks based on TensorFlow.

n-queens-sat

Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.

haskell-tdd

Project shows my default workflow for test driven development in the functional programming language Haskell.

perceptron

This machine-learning-project serves an implementation of the perceptron-algorithm as linear classifier and shows its result with python's matplotlib.

semantic-web

This repository contains the sources of my exam project for my subject semantic web at the HTWK Leipzig University of Applied Sciences.

kripke

Implementation of Kripke's semantics in the strongly typed programming language Java.

bmi-calculator

React Hooks app for calculating BMI

chess

jug-saxony-camp

This repository includes the source code of my talk at the JUG Saxony Camp 2017 in Leipzig. The lecture discussed caching techniques for Java EE applications based on JCache API.

lstm-numpy

Vanilla LSTM with numpy

python-playground

This playground contains independent python modules, which I implemented to train different python-concepts like decorators.

TensorFlow-Tutorials

TensorFlow Tutorials with YouTube Videos

tensorflow-vgg

Re-implementation of VGG Network in tensorflow

VGAN

Implementation of Text Generation Based on Generative Adversarial Nets with Latent Variable

visual-qa

Keras-based LSTM/CNN models for Visual Question Answering