https://github.com/fmoessbauer/libmvc

LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.

approximation dimacs fastvc graph-algorithms minimal-vertex-cover numvc

Last synced: 09 Aug 2025

https://github.com/fmoessbauer/drace

Data-race detector for windows applications build on top of DynamoRIO. Moved to

Last synced: 11 Mar 2026

https://github.com/fmoessbauer/block-puzzle-solver

This program solves the 5x5x5 brick-cube-puzzle in less than one second by transforming it to a minimal-vertex-cover problem.

maximum-independent-set minimal-vertex-cover puzzle-game puzzle-solver

Last synced: 26 Jun 2025

https://github.com/fmoessbauer/lossycountingmodel

Implementation of the Lossy Counting stream processing algorithm

algorithm lossy-counting processing-streams

Last synced: 05 Oct 2025

https://github.com/fmoessbauer/all-pairs

Measures the latency between each pair of MPI ranks using various kernels. The results are stored as hdf5 files.

Last synced: 26 Jun 2025

https://github.com/fmoessbauer/sat-to-sat3

This program converts any CNF in a SAT-3 CNF, where each variable occurs at most 3 times.

Last synced: 26 Jun 2025

https://github.com/fmoessbauer/haskell-nm-9morris

Implementation of a nine men morris ai that communicates with the LMU NMN gameserver and handles all specified protocol cases. This implementation fullfills all usefull specifications given here: http://www.nm.ifi.lmu.de/teaching/Praktika/2014ws/sysprak/

Last synced: 26 Jun 2025

https://github.com/fmoessbauer/linalg

Last synced: 31 Jan 2026

https://github.com/fmoessbauer/prometheus-remote-storage

Prometheus remote storage with influxdb

Last synced: 02 Feb 2026