Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
KBryan
verified-solidity
Repository navigation
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
More
items
Files
Expand file tree
main
Breadcrumbs
verified-solidity
/
examples
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
main
Breadcrumbs
verified-solidity
/
examples
/
Copy path
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
BytesDynCast
BytesDynCast
ERC20-simple
ERC20-simple
ERC20
ERC20
ERC721
ERC721
ERC721TokenReceiver
ERC721TokenReceiver
abstract-simul
abstract-simul
abstract-tok
abstract-tok
account-appOptIn
account-appOptIn
account-balancesOf
account-balancesOf
account-or-address
account-or-address
algo-incompatible-warnings
algo-incompatible-warnings
algo-remote-accounts
algo-remote-accounts
algo-remote-raw
algo-remote-raw
algo-wallet-demo
algo-wallet-demo
algoBlock
algoBlock
algoExitMode
algoExitMode
algoTxnOrder
algoTxnOrder
algorand-placeholder
algorand-placeholder
algospensive
algospensive
algospensive2
algospensive2
api-arg-many
api-arg-many
api-call
api-call
api-fail
api-fail
api-full
api-full
api-map
api-map
api-multiple-calls
api-multiple-calls
api-multiple-out-paths
api-multiple-out-paths
api-overload
api-overload
api-raw
api-raw
api-state-mismatch
api-state-mismatch
api-twice
api-twice
argz
argz
array-map-reduce-zip
array-map-reduce-zip
atomic-swap-auction
atomic-swap-auction
atomic-swap
atomic-swap
baseWaitTime
baseWaitTime
bytes-concat
bytes-concat
bytes-mod
bytes-mod
bytesFromHex
bytesFromHex
bytesN
bytesN
bytesdyn
bytesdyn
cache-events
cache-events
cast-truncate
cast-truncate
casting-uint
casting-uint
chicken-fork
chicken-fork
chicken-parallel
chicken-parallel
chicken-race
chicken-race
clawback
clawback
cli-tricky-directories
cli-tricky-directories
cli-version-compare
cli-version-compare
contractFromAddress
contractFromAddress
core-1452
core-1452
ctc-address
ctc-address
ctc-reach-app
ctc-reach-app
dan-storage
dan-storage
dead-mans-switch-nft
dead-mans-switch-nft
default-app
default-app
deploy-same-multi
deploy-same-multi
digest-mod
digest-mod
dominant-assurance
dominant-assurance
donation-balancesOf
donation-balancesOf
dyn-tok-1
dyn-tok-1
dyn-tok-2
dyn-tok-2
erc1155-companion
erc1155-companion
erc165
erc165
erc8001-atomic-swap
erc8001-atomic-swap
event-monitor
event-monitor
event
event
exports
exports
faucet-balance
faucet-balance
float-if
float-if
formatWithDecimals-demo
formatWithDecimals-demo
ganache
ganache
get-event-sigs
get-event-sigs
getCompanion
getCompanion
getInternalState
getInternalState
getTimeSecs-demo
getTimeSecs-demo
getUntrackedFunds1
getUntrackedFunds1
getUntrackedFunds2
getUntrackedFunds2
getUntrackedFunds3
getUntrackedFunds3
init-scaffold
init-scaffold
init
init
interact-this
interact-this
isDataVariant
isDataVariant
js-tests
js-tests
launchToken
launchToken
limsug
limsug
load-stdlib-with-new
load-stdlib-with-new
locking
locking
log-attack1
log-attack1
log-attack1j
log-attack1j
log-attack2
log-attack2
log
log
many-args
many-args
many-stdlib
many-stdlib
map-any
map-any
map-arbitrary-key
map-arbitrary-key
map-big
map-big
map-multi
map-multi
map-rwrw
map-rwrw
View all files
You can’t perform that action at this time.