Skip to content
@asymptotic-code

Asymptotic

Popular repositories Loading

  1. sui-prover sui-prover Public

    Formal Verification tool for Move on Sui

    Rust 1

  2. MystenLabs-apps MystenLabs-apps Public

    Forked from MystenLabs/apps

    Home for applications created by MystenLabs

    Move

  3. asymptotic-code.github.io asymptotic-code.github.io Public

    HTML

  4. sui-smart-contracts sui-smart-contracts Public

    Forked from kunalabs-io/sui-smart-contracts

    Move

  5. sui sui Public

    Forked from MystenLabs/sui

    Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

    Rust 1

  6. sui-kit sui-kit Public

    bits of Sui Move code

    Move

Repositories

Showing 10 of 11 repositories
  • sui-prover Public

    Formal Verification tool for Move on Sui

    asymptotic-code/sui-prover’s past year of commit activity
    Rust 1 0 34 1 Updated May 17, 2025
  • homebrew-sui-prover Public
    asymptotic-code/homebrew-sui-prover’s past year of commit activity
    Ruby 0 0 0 1 Updated May 15, 2025
  • quests Public
    asymptotic-code/quests’s past year of commit activity
    Move 0 MIT 0 0 0 Updated May 13, 2025
  • sui-kit Public

    bits of Sui Move code

    asymptotic-code/sui-kit’s past year of commit activity
    Move 0 0 0 0 Updated May 7, 2025
  • sui-prover-workshop Public
    asymptotic-code/sui-prover-workshop’s past year of commit activity
    Move 0 Apache-2.0 0 0 0 Updated May 7, 2025
  • sui Public Forked from MystenLabs/sui

    Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

    asymptotic-code/sui’s past year of commit activity
    Rust 0 Apache-2.0 13,342 0 0 Updated May 7, 2025
  • sui-ctf-framework Public Forked from otter-sec/sui-ctf-framework

    A framework for building sui based capture the flag challenges

    asymptotic-code/sui-ctf-framework’s past year of commit activity
    Move 0 BSD-3-Clause 6 0 0 Updated May 1, 2025
  • awesome-sui Public Forked from sui-foundation/awesome-sui

    A curated list of Move code and resources.

    asymptotic-code/awesome-sui’s past year of commit activity
    0 CC0-1.0 31 0 0 Updated Apr 22, 2025
  • sui-smart-contracts Public Forked from kunalabs-io/sui-smart-contracts
    asymptotic-code/sui-smart-contracts’s past year of commit activity
    Move 0 Apache-2.0 15 0 0 Updated Apr 16, 2025
  • MystenLabs-apps Public Forked from MystenLabs/apps

    Home for applications created by MystenLabs

    asymptotic-code/MystenLabs-apps’s past year of commit activity
    Move 0 Apache-2.0 51 0 0 Updated Dec 17, 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.

Top languages

Loading…

Most used topics

Loading…