Pinned Repositories
cbmc
C Bounded Model Checker
cmsat
Simple C API to build Cryptominisat FFI bindings
hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
iimc
k-ind_aig
liascriptCourses
Liascript für Vorlesungen, Quizzes, FAQ etc.
mercury-contribs
sat-solver
SAT Solver written in Haskell
sct
Change screen color temperature and brightness using the Xrandr extension
mgudemann's Repositories
mgudemann/sct
Change screen color temperature and brightness using the Xrandr extension
mgudemann/liascriptCourses
Liascript für Vorlesungen, Quizzes, FAQ etc.
mgudemann/sat-solver
SAT Solver written in Haskell
mgudemann/hw-cbmc
The HW-CBMC and EBMC Model Checkers for Verilog
mgudemann/cbmc
C Bounded Model Checker
mgudemann/acsl-by-example
Public snapshots of "ACSL by Example"
mgudemann/arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
mgudemann/avr
Reads a state transition system and performs property checking
mgudemann/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
mgudemann/bbb-scrape
Scrape Big Blue Button
mgudemann/BlueCov
A tool for instrumenting Java bytecode based on properties defined by JBMC
mgudemann/btor2tools
A generic parser and tool package for the BTOR2 format.
mgudemann/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
mgudemann/elliptic-curve
A polymorphic interface for elliptic curve operations
mgudemann/fc
mgudemann/galois-fft
Finite field polynomial arithmetic based on fast Fourier transforms
mgudemann/galois-field
Finite field and algebraic extension field arithmetic
mgudemann/glabs
Manage GitLab for Labs from the Command Line
mgudemann/hasky-extensions
Toggle Haskell language extensions from Emacs
mgudemann/hm-aemy.github.io
mgudemann/pairing
Optimised bilinear pairings over elliptic curves
mgudemann/projectReadonly
mgudemann/proof-combinators
Proof combinators used in Liquid Haskell for theorem proving
mgudemann/Quake-III-Arena
Quake III Arena GPL Source Release
mgudemann/simpleIC3
A simple, high-performance C++ implementation of IC3 based on Minisat and PDR, including ternary simulation support.
mgudemann/sonic
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
mgudemann/speculos
Ledger Nano/Blue apps emulator
mgudemann/SymbiYosys
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
mgudemann/yosys
Yosys Open SYnthesis Suite
mgudemann/zkp
A framework to execute and verify algorithms using Groth16 zkSNARKs.