Pinned Loading

1. cycle-accurate-hardware-benchmark-tool cycle-accurate-hardware-benchmark-tool Public

   Forked from TUM-DSE/cycle-accurate-hardware-benchmark-tool

   A cycle-accurate, in-hardware benchmarking tool for security critical operations.

   Rust

2. Trustformer/trustformer Trustformer/trustformer Public

   Rocq Prover

3. Trustformer/chipyard-trustformer-module Trustformer/chipyard-trustformer-module Public

   Python

4. Trustformer/koika Trustformer/koika Public

   Kôika is a rule-based Hardware Design Language embedded within Coq.

   Rocq Prover

5. tnic_proofs tnic_proofs Public

   Python