Pinned Loading

1. theopendissent theopendissent Public

   Source code for TheOpenDissent.com, an open platform for anonymous political discussion. Supported by the UC National Center for Free Speech and Civic Engagement.

   TypeScript 1

2. vulnex vulnex Public

   Source code for VulnEx (Vulnerability Explorer). Browse 300k+ CVE records and scan your project for vulnerabilities! CS 35L F25

   JavaScript 2

3. NASA-2023 NASA-2023 Public

   An overview of the implementation of Differential Dynamic Logic (dL) in PVS. Notes taken during my internship at NASA.

   TeX 2

4. riscv riscv Public

   32-bit RISC-V CPU core

   Verilog 1