Pinned Repositories
ANN
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
cbmc
C Bounded Model Checker
cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
GENIC
JDial-debugger
pdr-ic3
sqlsynthesizer
Automatically exported from code.google.com/p/sqlsynthesizer
WTAlib
qinheping's Repositories
qinheping/JDial-debugger
qinheping/pdr-ic3
qinheping/GENIC
qinheping/sqlsynthesizer
Automatically exported from code.google.com/p/sqlsynthesizer
qinheping/ANN
qinheping/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
qinheping/cbmc
C Bounded Model Checker
qinheping/cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
qinheping/coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
qinheping/CS640-Proj2
qinheping/WTAlib
qinheping/fithesis
LaTeX thesis style for Masaryk University
qinheping/Jane-Street-Solutions
Solutions to the Jane St monthly puzzles
qinheping/kani
Kani Rust Verifier
qinheping/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
qinheping/kani-verifier-blog
qinheping/kani-vscode-extension
Kani VSCode Extension
qinheping/Nope
qinheping/s2n-quic
An implementation of the IETF QUIC protocol
qinheping/s2n-tls
An implementation of the TLS/SSL protocols
qinheping/Synplexity
qinheping/synquid
qinheping/verify-rust-std
Verifying the Rust standard library
qinheping/z3
The Z3 Theorem Prover