Pinned

1. mlsolver mlsolver Public

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

   Python 53 11

2. n-queens-sat n-queens-sat Public

   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.

   Rust 7 1

3. question-tagging question-tagging Public

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

   Python 13 1

4. perceptron perceptron Public

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

   Python 2 1

5. jug-saxony-camp jug-saxony-camp Public

   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.

   Java

6. semantic-web semantic-web Public

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

   Web Ontology Language 2