Pinned Repositories
android_device_lge_bullhead
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
chopper
KLEE / CSE Project
chopper-experiments
coreutils
upstream mirror
cryptominisat
An advanced SAT Solver
cryptominisat_build
Build scripts for cryptominisat
diffanalyze
klee
KLEE Symbolic Virtual Machine
MartinNowack's Repositories
MartinNowack/klee
KLEE Symbolic Virtual Machine
MartinNowack/android_device_lge_bullhead
MartinNowack/ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
MartinNowack/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
MartinNowack/chopper
KLEE / CSE Project
MartinNowack/chopper-experiments
MartinNowack/coreutils
upstream mirror
MartinNowack/cryptominisat
An advanced SAT Solver
MartinNowack/cryptominisat_build
Build scripts for cryptominisat
MartinNowack/diffanalyze
MartinNowack/fuzzingworkshop.github.io
MartinNowack/homebrew-klee
Homebrew tap for KLEE
MartinNowack/klee-musl
MartinNowack/klee-uclibc
MartinNowack/klee.github.io
Documentation updates
MartinNowack/minisat
A minimalistic and high-performance SAT solver
MartinNowack/mongolite
Fast and Simple MongoDB Client for R
MartinNowack/opendetex
Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources
MartinNowack/openScale
openScale is an open source app to keep a log of your weight, body fat, water percentage and muscle percentage.
MartinNowack/percy
Build frontend browser apps with Rust + WebAssembly. Supports server side rendering.
MartinNowack/stp
Simple Theorem Prover.
MartinNowack/sv-benchmarks
Collection of Verification Tasks
MartinNowack/SVF
Static Value-Flow Analysis Framework for Source Code
MartinNowack/tbf
A framework for using test case generators to locate errors in C programs
MartinNowack/Test-Suite
PTABen: Micro-benchmark Suite for Pointer Analysis
MartinNowack/TikZ-Editor
TikZ Editor is a free code editor for the LaTeX graphic package TikZ.
MartinNowack/travis-build
.travis.yml => build.sh converter
MartinNowack/updater
:arrows_counterclockwise: The updater app to keep your Nextcloud up-to-date
MartinNowack/wordcount_serial
FCDS example word count serial
MartinNowack/z3
The Z3 Theorem Prover