Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
conceptmap
Webbased conceptmap application
conceptmap-webeval
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
doodleAlloc
Allocate tasks to persons from a doodle
libpoly
LibPoly is a C library for manipulating polynomials
optiB
pydelta
webhooks
A simple webhook endpoint
nafur's Repositories
nafur/pydelta
nafur/doodleAlloc
Allocate tasks to persons from a doodle
nafur/flmpc
MPD webinterface based on flask
nafur/simpleMPD
simple web interface for mpd
nafur/ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
nafur/libpoly
LibPoly is a C library for manipulating polynomials
nafur/webhooks
A simple webhook endpoint
nafur/adventofcode
nafur/cpp-deps
Visualize C++ include dependencies
nafur/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
nafur/cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
nafur/docker-latex
nafur/docs-releases
nafur/drawful-wordlists
nafur/engelsystem
Shift planning system for chaos events.
nafur/git-workflows
nafur/ha-omada
Home Assistant TP-Link Omada Integration
nafur/interval
nafur/language-valgrind
Atom plugin for syntax highlighting of valgrind output
nafur/nafur.github.io
nafur/noten
nafur/offsite2024
nafur/pydnsui
nafur/pyheos
An async python library for controlling HEOS devices through the HEOS CLI Protocol
nafur/python-playground
nafur/ran-benchmark
nafur/smt_logic_check
nafur/update-pr-branch
Automatically update PR branch that match the criteria. Designed to work with the Github `auto-merge` feature.
nafur/var-order-ml
nafur/z3pp