Pinned Loading

1. mcp mcp Public

   Rust tools for Anthropic's Model Context Protocol (MCP)

   Rust 22 4

2. A2A A2A Public

   Rust A2A tools for the greater good

   Rust 24 4

3. learn_vhdl learn_vhdl Public

   Gamified compiler writing

   Go 1

4. LogicalFoundations LogicalFoundations Public

   Learning journey for proofs using rocq

   HTML

5. motorloop motorloop Public

   Motor-in-the-loop verification for Verilog — run controller RTL closed-loop against a simulated motor, gate driver, and ADCs

   Python 5