Pinned Repositories
acm-climate
au-fsv23
CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course
bisimtester
cngen
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
interfering
junk
RISCV-ISA-Spec
Formal specification of RISC-V Instruction Set
unison
Unison file synchronizer
bcpierce00's Repositories
bcpierce00/unison
Unison file synchronizer
bcpierce00/au-fsv23
CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course
bcpierce00/interfering
bcpierce00/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
bcpierce00/acm-climate
bcpierce00/bisimtester
bcpierce00/cngen
bcpierce00/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
bcpierce00/junk
bcpierce00/RISCV-ISA-Spec
Formal specification of RISC-V Instruction Set
bcpierce00/SIGPLAN.github.io
SIGPLAN website