MartinNowack

klee

KLEE Symbolic Virtual Machine

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

fuzzingworkshop.github.io

homebrew-klee

Homebrew tap for KLEE

klee-musl

klee-uclibc

klee.github.io

Documentation updates

minisat

A minimalistic and high-performance SAT solver

mongolite

Fast and Simple MongoDB Client for R

opendetex

Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources

openScale

openScale is an open source app to keep a log of your weight, body fat, water percentage and muscle percentage.

percy

Build frontend browser apps with Rust + WebAssembly. Supports server side rendering.

stp

Simple Theorem Prover.

sv-benchmarks

Collection of Verification Tasks

SVF

Static Value-Flow Analysis Framework for Source Code

tbf

A framework for using test case generators to locate errors in C programs

Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

TikZ-Editor

TikZ Editor is a free code editor for the LaTeX graphic package TikZ.

travis-build

.travis.yml => build.sh converter

updater

:arrows_counterclockwise: The updater app to keep your Nextcloud up-to-date

wordcount_serial

FCDS example word count serial

z3

The Z3 Theorem Prover