Skip to content
@lindy-labs

Lindy Labs

Popular repositories Loading

  1. wadray wadray Public

    WadRay library for Cairo and Starknet

    Cairo 21 3

  2. sc_solidity-contracts sc_solidity-contracts Public

    TypeScript 15 4

  3. aegis aegis Public

    Verify Cairo contracts in Lean 4

    Lean 12 1

  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 3 1

  6. sandclock-contracts sandclock-contracts Public

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

    Solidity 2 3

Repositories

Showing 10 of 26 repositories
  • opus_contracts Public

    Opus Source Code

    lindy-labs/opus_contracts’s past year of commit activity
    Cairo 0 0 1 0 Updated Jan 15, 2025
  • vesu-v1 Public Forked from vesuxyz/vesu-v1

    The Vesu permissionless lending protocol

    lindy-labs/vesu-v1’s past year of commit activity
    Cairo 0 3 0 0 Updated Jan 7, 2025
  • aegis Public

    Verify Cairo contracts in Lean 4

    lindy-labs/aegis’s past year of commit activity
    Lean 12 GPL-3.0 1 9 3 Updated Jan 7, 2025
  • opus_interfaces Public

    Public interfaces and types for Opus

    lindy-labs/opus_interfaces’s past year of commit activity
    Cairo 0 MIT 0 0 0 Updated Jan 3, 2025
  • sandclock-contracts Public

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

    lindy-labs/sandclock-contracts’s past year of commit activity
    Solidity 2 AGPL-3.0 3 0 5 Updated Dec 23, 2024
  • solidity_properties Public

    Pre-built security properties (Symbolic tests) for common Ethereum operations

    lindy-labs/solidity_properties’s past year of commit activity
    Solidity 0 AGPL-3.0 0 0 0 Updated Dec 16, 2024
  • sc_solidity-contracts Public
    lindy-labs/sc_solidity-contracts’s past year of commit activity
    TypeScript 15 4 0 10 Updated Dec 3, 2024
  • wadray Public

    WadRay library for Cairo and Starknet

    lindy-labs/wadray’s past year of commit activity
    Cairo 21 MIT 3 0 0 Updated Oct 23, 2024
  • access_control Public

    Member-based access control library for Cairo and Starknet

    lindy-labs/access_control’s past year of commit activity
    Cairo 5 MIT 1 0 0 Updated Sep 12, 2024
  • token-list Public

    The Starknet Token List

    lindy-labs/token-list’s past year of commit activity
    TypeScript 0 MIT 1 0 1 Updated Aug 23, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

starknet cairo