Max Heisinger's repositories
OpenGL-Injector
A demo/framework for injecting imagery into OpenGL based programs.
DFMapCompressorPP
A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress
KoradControl
Small controller program for Korad laboratory power supplies.
CMake-Templates
This project provides commented CMake Templates suitable for starting better organised university projects.
Dancing-Links
Working on some examples in Donald Knuth's "The Art of Computer Programming" Volume 4, Fascicle 5: Dancing Links
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
booleguru
A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.
cryptominisat
An advanced SAT solver
dfma-html5-map-viewer
Home for development of a new HTML5 Map Viewer for Dwarf Fortress.
documentation-theme-jekyll
A Jekyll-based theme designed for documentation and help systems. See the link for detailed instructions on setting up and configuring everything.
KeplerCraft
Keplercraft Website and Blog
protocol-testbench
Testbench for Communication Protocols over Mediums With Varying Error Rates
qdimacs-splitter
Tool for offline splitting of DIMACS and QDIMACS files for offline D&C solving. Supports the int-splits syntax extension.
qute
Qute: a dependency learning QBF solver.
ShadeChange-Level-Generator
A small level generator that (almost) always generates good enough levels for ShadeChange
SQval
A tool for Scalable QBF validation