Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bquiring.github.io
My Website
cbmc
C Bounded Model Checker
certicoq
A Verified Compiler for Gallina, Written in Gallina
eczoo_data
graph-embed
A small library for graph embedding
graph-embed-rust
huskyhacks3
ocaml
The core OCaml system: compilers, runtime system, base libraries
well-typed-term-generator
A OCaml generator for well-typed terms (that use their arguments).
bquiring's Repositories
bquiring/cbmc
C Bounded Model Checker
bquiring/well-typed-term-generator
A OCaml generator for well-typed terms (that use their arguments).
bquiring/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bquiring/bquiring.github.io
My Website
bquiring/certicoq
A Verified Compiler for Gallina, Written in Gallina
bquiring/eczoo_data
bquiring/graph-embed
A small library for graph embedding
bquiring/graph-embed-rust
bquiring/huskyhacks3
bquiring/ocaml
The core OCaml system: compilers, runtime system, base libraries
bquiring/sv-benchmarks
Collection of Verification Tasks
bquiring/sv-comp
Information to reproduce results from SV-COMP
bquiring/well-typed-term-gen
A OCaml generator for well-typed terms (that use their arguments).