erohkohl Goto Github PK

bmi-calculator

React Hooks app for calculating BMI

chess

haskell-tdd

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

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.

kripke

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

lstm-numpy

Vanilla LSTM with numpy

mlsolver

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

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.

perceptron

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

python-playground

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

question-tagging

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

semantic-web

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

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