mathefuchs Goto Github PK

advanced-datastructures-st22

Submission for Advanced-Data-Structures lecture ST22.

al-for-sat-solver-benchmarking

Paper and code for "Active-Learning for SAT-Solver Benchmarking".

al-for-sat-solver-benchmarking-data

The data and results for the publication "Active Learning for SAT-Solver Benchmarking".

cmake-example

An example CMake application with modular design.

common-latex

This repository contains some basic templates for LaTeX documents.

console-zoo

A simple console application in java, which simulates a zoo.

demo-augment-supervised-with-pll

el-gran-dalmuti

An AI agent for the game El Gran Dalmuti based on Q-Learning and Deep Reinforcement Learning.

hackathon-cheatsheet

A collection of feature engineering, models, and data exploration for usage in hackathons.

infinitequiz

This software project is able of generating quizzes out of random wikipedia pages.

kahypar

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of very high quality.

mathefuchs.github.io

My own homepage

ticketmachine

A simple application simulating a ticket machine.