Skip to content

@asymptotic-code Asymptotic

Change the repository type filter

All

    Repositories list

    18 repositories

    • move-stl-app-demo

      Public
      Move
      •
      MIT License
      •17•0•0•1•Updated Mar 24, 2026Mar 24, 2026

    • homebrew-sui-prover

      Public
      Ruby
      •0•0•0•1•Updated Mar 24, 2026Mar 24, 2026

    • sui-prover

      Public
      Formal Verification tool for Move on Sui
      Rust
      •4•35•47•7•Updated Mar 24, 2026Mar 24, 2026

    • sui

      Public
      Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming langu…
      Rust
      •
      Apache License 2.0
      •12k•0•0•2•Updated Mar 23, 2026Mar 23, 2026

    • suins-contracts

      Public
      The SuiNS Smart Contracts & Documentation repository
      Move
      •
      Other
      •39•0•0•0•Updated Feb 20, 2026Feb 20, 2026

    • integer-library

      Public
      A formally verified library of common unsigned and signed operations.
      Move
      •
      MIT License
      •2•0•0•0•Updated Feb 5, 2026Feb 5, 2026

    • cetus-integer-mate-pb

      Public
      A Libary of move module provides signed integer and some integer math functions.
      Move
      •
      MIT License
      •23•0•0•0•Updated Jan 22, 2026Jan 22, 2026

    • sui-kit

      Public
      bits of Sui Move code
      Move
      •1•1•0•0•Updated Dec 19, 2025Dec 19, 2025

    • sui-smart-contracts

      Public
      Move
      •
      Apache License 2.0
      •22•0•0•0•Updated Dec 19, 2025Dec 19, 2025

    • sui-prover-workshop

      Public
      Move
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 19, 2025Nov 19, 2025

    • cetus-stl-pub

      Public
      MoveSTL is a data structure and algorithm library for move language
      Move
      •
      MIT License
      •17•0•0•0•Updated Oct 16, 2025Oct 16, 2025

    • ika

      Public
      dWallet Network, a composable modular signature network that is the home of dWallets. A dWallet is a noncollusive and massively decentralized signing mechanism,…
      Rust
      •
      Other
      •172•0•0•0•Updated Oct 7, 2025Oct 7, 2025

    • telegram-bot

      Public
      TypeScript
      •0•0•0•0•Updated Aug 1, 2025Aug 1, 2025

    • quests

      Public
      Move
      •
      MIT License
      •1•1•0•0•Updated May 13, 2025May 13, 2025

    • sui-ctf-framework

      Public
      A framework for building sui based capture the flag challenges
      Move
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated May 1, 2025May 1, 2025

    • awesome-sui

      Public
      A curated list of Move code and resources.
      Creative Commons Zero v1.0 Universal
      •59•0•0•0•Updated Apr 22, 2025Apr 22, 2025

    • MystenLabs-apps

      Public
      Home for applications created by MystenLabs
      Move
      •
      Apache License 2.0
      •50•0•0•0•Updated Dec 17, 2024Dec 17, 2024

    • asymptotic-code.github.io

      Public
      HTML
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024