mcarrickscott

mcarrickscott's Stars

• Crypto-TII/claasp

  A Cryptographic Library for the Automated Analysis of Symmetric Primitives

  Language:Python5010

• earlephilhower/arduino-pico

  Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards

  Language:C2.1k442