Pinned Loading

1. RuDDy RuDDy Public

   RuDDy: A Binary Decision Diagram (BDD) library in Rust

   Rust

2. AES-go AES-go Public

   AES implementation in pure Golang, including ECB, CBC, CFB, OFB, CTR and GCM mode.

   Go 17 3

3. ccf-what ccf-what Public

   TypeScript 1

4. SIGCOMM-23-poster SIGCOMM-23-poster Public

   Poster for SIGCOMM'23: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates

5. nanobdd nanobdd Public

   Forked from guodong/nanobdd

   First-ever high-performance thread-safe BDD library

   C++