erohkohl/haskell-tdd

Stars
4
Rank 3,295,400 (Top 66 %)
Language
Haskell
Created about 7 years ago
Updated about 7 years ago

erohkohl/haskell-tdd

erohkohl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

perceptron

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

kripke

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

semantic-web

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