Gereon Kremer's repositories
conceptmap
Webbased conceptmap application
doodleAlloc
Allocate tasks to persons from a doodle
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
Language:PythonGPL-3.0000
libpoly
LibPoly is a C library for manipulating polynomials
Language:CLGPL-3.0000
webhooks
A simple webhook endpoint
Language:PythonGPL-3.0000
Language:C++000
cpp-deps
Visualize C++ include dependencies
Language:C++GPL-3.0000
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMTNOASSERTION000
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Language:PythonNOASSERTION000
Language:Dockerfile000
Language:PythonGPL-3.0000
engelsystem
Shift planning system for chaos events.
GPL-2.0000
Language:Shell000
ha-omada
Home Assistant TP-Link Omada Integration
000
Language:C++000
language-valgrind
Atom plugin for syntax highlighting of valgrind output
Language:SCSS000
Language:LilyPondGPL-3.0000
Language:PythonGPL-3.0000
pyheos
An async python library for controlling HEOS devices through the HEOS CLI Protocol
Apache-2.0000
Language:Python000
Language:C++000
Language:PythonGPL-3.0000
update-pr-branch
Automatically update PR branch that match the criteria. Designed to work with the Github `auto-merge` feature.
Language:JavaScriptMIT000
Language:C++GPL-3.0000
Language:C++NOASSERTION000