Pinned Loading

1. ppse-lab-firmware ppse-lab-firmware Public

   RP2040-based firmware for GPS logging and environmental data visualization.

   C 3

2. RISC-V RISC-V Public

   RISC-V architecture implemented in VHDL

   VHDL 1

3. kryptos kryptos Public

   Cryptographic Library for Lean4

   Lean 1

4. ppse-hardware ppse-hardware Public

   1

5. codex codex Public

   Scientific Documentation Engine for Lean4-to-LaTeX

   Lean 1