Skip to content

@lindy-labs Lindy Labs

Change the repository type filter

All

    Repositories list

    26 repositories

    • opus_contracts

      Public
      Opus Source Code
      ethereumsmart-contractscairostarknet
      Cairo
      •
      Other
      •0•0•1•1•Updated Jan 27, 2025Jan 27, 2025

    • opus_interfaces

      Public
      Public interfaces and types for Opus
      Cairo
      •
      MIT License
      •0•0•0•1•Updated Jan 23, 2025Jan 23, 2025

    • vesu-v1

      Public
      The Vesu permissionless lending protocol
      Cairo
      •
      Other
      •3•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • aegis

      Public
      Verify Cairo contracts in Lean 4
      verificationsierrastarkwarecairo-langstarknet
      Lean
      •
      GNU General Public License v3.0
      •1•12•9•3•Updated Jan 7, 2025Jan 7, 2025

    • sandclock-contracts

      Public
      Sandclock V2 is a set of yield strategies and staking contracts on mainnet.
      Solidity
      •
      GNU Affero General Public License v3.0
      •3•2•0•5•Updated Dec 23, 2024Dec 23, 2024

    • solidity_properties

      Public
      Pre-built security properties (Symbolic tests) for common Ethereum operations
      Solidity
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • sc_solidity-contracts

      Public
      TypeScript
      •
      Other
      •4•15•0•10•Updated Dec 3, 2024Dec 3, 2024

    • wadray

      Public
      WadRay library for Cairo and Starknet
      cairostarknet
      Cairo
      •
      MIT License
      •3•21•0•0•Updated Oct 23, 2024Oct 23, 2024

    • access_control

      Public
      Member-based access control library for Cairo and Starknet
      cairostarknet
      Cairo
      •
      MIT License
      •1•5•0•0•Updated Sep 12, 2024Sep 12, 2024

    • token-list

      Public
      The Starknet Token List
      TypeScript
      •
      MIT License
      •1•0•0•1•Updated Aug 23, 2024Aug 23, 2024

    • corelib_verification

      Public
      Lean
      •
      GNU General Public License v3.0
      •1•3•0•0•Updated Aug 7, 2024Aug 7, 2024

    • erc4626-utils

      Public
      Solidity
      •
      GNU Affero General Public License v3.0
      •1•0•0•3•Updated Aug 1, 2024Aug 1, 2024

    • yield-server

      Public
      JavaScript
      •842•0•0•0•Updated Jul 30, 2024Jul 30, 2024

    • DefiLlama-Adapters

      Public
      JavaScript
      •5.5k•0•0•0•Updated Jul 23, 2024Jul 23, 2024

    • spellbook

      Public
      SQL views for Dune
      Python
      •
      Other
      •1.2k•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • wadray_verification

      Public
      Verification of the Wadray library
      Lean
      •
      GNU General Public License v3.0
      •0•2•0•1•Updated Jun 21, 2024Jun 21, 2024

    • opus-docs

      Public
      Public repository for Opus' public documentation.
      0•0•0•0•Updated May 2, 2024May 2, 2024

    • sandclock-docs

      Public
      Public repository for Sandclock's public documentation.
      0•0•0•0•Updated May 2, 2024May 2, 2024

    • quick-web3-fe

      Public archive
      TypeScript
      •1•0•0•0•Updated Apr 15, 2024Apr 15, 2024

    • nimbora-erc4626

      Public
      Solidity
      •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • cairo-book.github.io

      Public
      The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
      241•0•0•0•Updated Apr 18, 2023Apr 18, 2023

    • formal-proofs

      Public
      Lean
      •
      Apache License 2.0
      •13•0•0•0•Updated Jan 17, 2023Jan 17, 2023

    • dappland

      Public
      TypeScript
      •302•0•0•0•Updated Oct 27, 2022Oct 27, 2022

    • sandclock-token

      Public
      JavaScript
      •0•0•0•0•Updated Sep 5, 2022Sep 5, 2022

    • awesome-starknet

      Public
      A curated list of awesome StarkNet resources, libraries, tools and more
      324•1•0•0•Updated Sep 3, 2022Sep 3, 2022

    • sc_contract_helper_script

      Public
      Sandclock deposit withdraw helper script
      JavaScript
      •0•0•1•0•Updated Aug 8, 2022Aug 8, 2022