kupl
kupl
VeriSmart-public
OCaml

a safety verifier for Solidity smart contracts

Last updated Jun 12, 2026
97
Stars
24
Forks
9
Issues
0
Stars/day
Attention Score
46
View on GitHub ↗ Open in github.dev
Topics
#blockchain#ethereum#formal-verification#program-analysis#smart-contracts#solidity#solidity-contracts
Language breakdown
No language data available.
▸ Files click to expand
README
No README available.
🔗 More in this category
anoma
anoma/anoma
Reference implementation of Anoma
★ 33.7k
 argotorg
argotorg/solidity
Solidity, the Smart Contract Programming Language
★ 25.7k
 slymnoyann
bigint/hey
Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿
★ 29.4k
 ethereumbook
ethereumbook/ethereumbook
Mastering Ethereum: 2nd Edition, by Andreas M. Antonopoulos, Gavin Wood, Carlo Parisi, Alessandro Mazza, Niccolò Pozzolini
★ 21.5k
 ethereum-lists
ethereum-lists/chains
provides metadata for chains
★ 9.8k
 MetaMask
MetaMask/metamask-extension
:globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
★ 13.2k
 saadansha
saadansha/crypto-trading-bot-v2
Cryptocurrency Trading Bot: For Binance, Bybit, Bitfinex, BitMEX... (Production Version)
★ 226
 AmazingAng
AmazingAng/WTF-Solidity
WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy
★ 14.0k
 ethereum
ethereum/ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
★ 5.9k
 Uniswap
Uniswap/interface
🦄 Open source interfaces for the Uniswap protocol
★ 5.5k
 UFund-Me
UFund-Me/Qbot
[🔥updating ...] AI 自动量化交易机器人(完全本地部署) AI-powered Quantitative Investment Research Platform. 📃 online docs: https://ufund-me.github.io/Qbot ✨ :news: qbot-mini: https://github.com/Charmve/iQuant
★ 18.0k
 egametang
egametang/ET
Unity3D Client And C# Server Framework
★ 9.9k

© 2026 GitRepoTrend · kupl/VeriSmart-public · Updated daily from GitHub