The STACKIT SDK for Go

Manipulate audio with a simple and easy high level interface

A sample implementation of an Envoy filter with custom metrics

CLI for interacting with STACKIT API Manager Service

Analyzer: checks whether HTTP response body is closed and a re-use of TCP connection is not blocked.

Communication between Coq and SAT/SMT solvers

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

🐍 Complete C99 parser in pure Python

The Z3 Theorem Prover

The efficient SMT-based context-bounded model checker (ESBMC)

Programming Language Theory λΠ

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

A ptrace library for easy syscall injection in Linux.

CDSChecker: A Model Checker for C11 and C++11 Atomics

Python module to check for system call numbers

Tool for testing programs with C/C++11 Atomics

Artifact evaluation for Dogfood

Persistent Memory Development Kit

Persistent Memory File System

Enhanced Valgrind for Persistent Memory

Golang library for using persistent memory

Go Version of Redis on PMEM

Shuttle is a library for testing concurrent Rust code

Generic model checker for concurrent C programs (mirror repository)

C++ bindings & containers for libpmemobj

Persistent Collections for Java

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

Sinatra like web toolkit for OCaml

Key/Value Datastore for Persistent Memory