Pinned Loading

1. doc doc Public

   Documentation Extension Library for Lean4.

   Lean 1

2. nexus nexus Public

   P2P network tool for sharing scientific lean data, decentralizing lean git repository, distribuited lean computing. Based on lean4 protocol.

   1

3. ppse-lab-firmware ppse-lab-firmware Public

   RP2040-based firmware for GPS logging and environmental data visualization. Features a custom UI, optimized flash management, and real-time sensor processing.

   C 1

4. nix nix Public

   My nix OS config.

   Nix

5. RISC-V RISC-V Public

   RISC-V architecture implemented in VHDL

   VHDL 1