Pinned Loading

1. tigard-tools/tigard tigard-tools/tigard Public

   An FTDI FT2232H-based multi-protocol tool for hardware hacking

   865 103

2. BSidesPDX/CTF-2019 BSidesPDX/CTF-2019 Public archive

   JavaScript 18 8

3. Pigmice2733/peregrine-backend Pigmice2733/peregrine-backend Public

   The future of FRC scouting

   Go 19 4

4. formal-teal formal-teal Public

   Formalizing Algorand's TEAL language in Lean

   Lean