Jannick Borowitz's Projects
Bootstrap Package delivers a full configured theme for TYPO3, based on the Bootstrap CSS Framework.
A tool for analysing learned clause overlaps in a clause-sharing based parallel SAT solver
This project aims to maintain an approximate maximum independent set over dynamic graphs.
Dynamic Vienna Maximum/maximal Independent Set Solver
My little python script for inserting headers and implementations into main file.
Config files for my GitHub profile.
KaGen: Communication-free Massively Distributed Graph Generators
Maximum independent sets and vertex covers of large sparse graphs.
KArlsruhe eVALuation framework for distributed algorithms
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
Modern C++ Programming Course (C++11/14/17/20)
Nim - Python bridge
A documentation with examples for using tables in latex
Bot for Telegram