Lindy Labs

Popular repositories Loading

1. wadray wadray Public

   WadRay library for Cairo and Starknet

   Cairo 21 3

2. aegis aegis Public

   Verify Cairo contracts in Lean 4

   Lean 21 2

3. sc_solidity-contracts sc_solidity-contracts Public

   TypeScript 16 3

4. access_control access_control Public

   Member-based access control library for Cairo and Starknet

   Cairo 5 1

5. corelib_verification corelib_verification Public

   Lean 4 2

6. sandclock-contracts sandclock-contracts Public

   Sandclock V2 is a set of yield strategies and staking contracts on mainnet.

   Solidity 2 3