Skip to content
View erohkohl's full-sized avatar
  • Leipzig

Block or report erohkohl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. mlsolver mlsolver Public

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

    Python 59 12

  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