Pinned Loading

1. audio-network-interface audio-network-interface Public

   Transmit data over audio.

   Rust

2. royalroad-dl royalroad-dl Public

   Incremental downloader for Royal Road (https://royalroad.com)

   Rust 2

3. FireFighterMeshNet/mesh-node FireFighterMeshNet/mesh-node Public

   Mesh network on esp32

   Rust

4. SINR SINR Public

   SINR: Staged Interaction Net Runtime

   Rust 1

5. HDLean HDLean Public

   Hardware Description in Lean (Like CLASH but with logically sound dependent types)

   Lean 5