Pinned Repositories
RVerify
Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.
DFMapCompressorPP
A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress
Distrac
Distrac: A High-Performance Distributed Event-Based Tracing Tool
KoradControl
Small controller program for Korad laboratory power supplies.
limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
OpenGL-Injector
A demo/framework for injecting imagery into OpenGL based programs.
Paracooba
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
QuAPI
Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD
SFML-Sidescroller-Revived
SFML Sidescroller gets revived to be played on the piga console. This time, with less mess (hopefully).
Spacegasm
maximaximal's Repositories
maximaximal/Paracooba
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
maximaximal/limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
maximaximal/QuAPI
Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD
maximaximal/DFMapCompressorPP
A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress
maximaximal/KoradControl
Small controller program for Korad laboratory power supplies.
maximaximal/booleguru
A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.
maximaximal/Dancing-Links
Working on some examples in Donald Knuth's "The Art of Computer Programming" Volume 4, Fascicle 5: Dancing Links
maximaximal/legui
SFML Gui library called legui.
maximaximal/Distrac
Distrac: A High-Performance Distributed Event-Based Tracing Tool
maximaximal/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
maximaximal/Catch2
A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)
maximaximal/cryptominisat
An advanced SAT solver
maximaximal/dfma-html5-map-viewer
Home for development of a new HTML5 Map Viewer for Dwarf Fortress.
maximaximal/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.
maximaximal/KeplerCraft
Keplercraft Website and Blog
maximaximal/MinecraftModCollection
maximaximal/paracooba-satcomp22
maximaximal/protocol-testbench
Testbench for Communication Protocols over Mediums With Varying Error Rates
maximaximal/Q-sage
Generates ungrounded QBF encoding for 2-player positional games.
maximaximal/qbffam
maximaximal/qcir-checker
maximaximal/qdimacs-splitter
Tool for offline splitting of DIMACS and QDIMACS files for offline D&C solving. Supports the int-splits syntax extension.
maximaximal/qute
Qute: a dependency learning QBF solver.
maximaximal/rotelcontrol
Small Rust-based CLI tool to control a Rotel A14 amplifier
maximaximal/satch
SAT Solver SATCH
maximaximal/ShadeChange-Level-Generator
A small level generator that (almost) always generates good enough levels for ShadeChange
maximaximal/SIMDIMACS
Implementation for fast DIMACS Parsing on x86 using SSE SIMD instructions and experimental AVX512
maximaximal/SpecSAT
Allow to benchmark hardware wrt sequential and parallel SAT solvers
maximaximal/SQval
A tool for Scalable QBF validation
maximaximal/xccsolve
An open and extendable solver for Exact Cover (XCC) problems with extensions.