maximaximal Goto Github PK

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

arch-wiki-markdown

Search and read Arch Wiki offline in your terminal

bibliotheksverwaltung

Eine Bibliotheksverwaltung für Schul-Bibliotheken.

bomberpi

A bomberman clone for the raspberry pi.

booleguru

A versatile logical calculator and tool for encoding development for SAT, QBF, and beyond.

buildcraft

BuildCraft

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)

cmake-templates

This project provides commented CMake Templates suitable for starting better organised university projects.

cryptominisat

An advanced SAT solver

dancing-links

Working on some examples in Donald Knuth's "The Art of Computer Programming" Volume 4, Fascicle 5: Dancing Links

dfma-html5-map-viewer

Home for development of a new HTML5 Map Viewer for Dwarf Fortress.

dfmapcompressorpp

A native .bmp to .fdf-map compressor for maps exported from Dwarf Fortress

distrac

Distrac: A High-Performance Distributed Event-Based Tracing Tool

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.

dotfiles

dotfiles-1

my configurations

ftpbackuppuller

A generic FTP backup puller for distributed backups of directories over FTP.

jenkinstest

CMake based jenkins test

keplercraft

Keplercraft Website and Blog

koradcontrol

Small controller program for Korad laboratory power supplies.

legui

SFML Gui library called legui.

limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

list

The Public Suffix List

maximaximal.com

The main repo of my website. (Only custom coded stuff, no CMS)

maximaximal.com-texts

maximaximal.com text repository.

minecraft-backup-manager

Backups des ganzen .minecraft Ordners leicht gemacht!

minecraft-modder

minecraftmodcollection

nxcdrawer

nxtrobotremote

A remote control tool for custom NXT robots. Written in C++.