Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
dslabs
Distributed Systems Labs and Framework
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
minq
A simple Go implementation of QUIC
nnitp
Neural net interpretability with Bayesian interpolants
picoquic
Minimal implementation of the QUIC protocol
quant
QUIC implementation for the warpcore userspace UDP/IP stack
uncore
z3
The Z3 Theorem Prover
z3
The Z3 Theorem Prover
kenmcmil's Repositories
kenmcmil/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
kenmcmil/dslabs
Distributed Systems Labs and Framework
kenmcmil/z3
The Z3 Theorem Prover
kenmcmil/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
kenmcmil/minq
A simple Go implementation of QUIC
kenmcmil/nnitp
Neural net interpretability with Bayesian interpolants
kenmcmil/picoquic
Minimal implementation of the QUIC protocol
kenmcmil/quant
QUIC implementation for the warpcore userspace UDP/IP stack
kenmcmil/uncore