PinnedLoading

1. mlsolvermlsolverPublic

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

   Python 61 12

2. n-queens-satn-queens-satPublic

   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-taggingquestion-taggingPublic

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

   Python 13 1

4. perceptronperceptronPublic

   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-campjug-saxony-campPublic

   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-websemantic-webPublic

   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