sblackshear/lean-move
Lean formalization of Move Borrow Checker
Move creator, CTO and co-founder at Mysten Labs.
Repositories
sblackshear/sui-bytecode-analysis
sblackshear/core
the local wallet standard
sblackshear/skills
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
sblackshear/infer-1
A static analyzer for Java, C and Objective-C
sblackshear/sui-packages
sblackshear/deepbookv3
Deepbook V3
sblackshear/apps
Home for applications created by MystenLabs
sblackshear/sips
Sui Improvement Proposals (SIPs)
sblackshear/walrus-docs
Documentation and examples for the Walrus decentralized storage system
sblackshear/sui
sblackshear/pyth-crosschain
Crosschain Pyth programs and utilities
sblackshear/jphantom
A tool for Java program complementation.
sblackshear/fastcrypto
Common cryptographic library used in software at Mysten Labs.
sblackshear/movemate
Solmate for Move (Aptos and Sui).
sblackshear/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
sblackshear/narwhal-1
Narwhal & Tusk are a high throughput mempool & consensus, used in the Sui smart contract platform
sblackshear/mysten-infra
Common infrastructure used by multiple Mysten projects
sblackshear/move-1
sblackshear/libra-1
sblackshear/starcoin
A Layered Cryptocurrency and Decentralized Blockchain System.
sblackshear/move
Move documentation
sblackshear/dip
Libra Improvement Proposals
sblackshear/docs
THORChain Docs
sblackshear/lastfm-android
The official Last.fm Android application suite
sblackshear/connectbot
ConnectBot is the first SSH client for Android.
sblackshear/SeriesGuide
Manage (re)watching your favorite TV shows on your Android devices.
sblackshear/WALA
T.J. Watson Libraries for Analysis
sblackshear/soot-infoflow-android
Android-specific components of FlowDroid