mgudemann

sct

Change screen color temperature and brightness using the Xrandr extension

liascriptCourses

Liascript für Vorlesungen, Quizzes, FAQ etc.

sat-solver

SAT Solver written in Haskell

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

cbmc

C Bounded Model Checker

acsl-by-example

Public snapshots of "ACSL by Example"

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

avr

Reads a state transition system and performs property checking

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

bbb-scrape

Scrape Big Blue Button

BlueCov

A tool for instrumenting Java bytecode based on properties defined by JBMC

btor2tools

A generic parser and tool package for the BTOR2 format.

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

elliptic-curve

A polymorphic interface for elliptic curve operations

fc

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

galois-field

Finite field and algebraic extension field arithmetic

glabs

Manage GitLab for Labs from the Command Line

hasky-extensions

Toggle Haskell language extensions from Emacs

hm-aemy.github.io

pairing

Optimised bilinear pairings over elliptic curves

projectReadonly

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

Quake-III-Arena

Quake III Arena GPL Source Release

simpleIC3

A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.

sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

speculos

Ledger Nano/Blue apps emulator

SymbiYosys

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

yosys

Yosys Open SYnthesis Suite

zkp

A framework to execute and verify algorithms using Groth16 zkSNARKs.