NethermindEth/horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
HaskellNOASSERTION
Stargazers
- 0x0918NanJing
- 0xYYY
- aemartinezUniversity of Buenos Aires / CONICET
- aga7hokakologicalmetaverse
- agureev@heliaxdev
- AntiD2taNethermindEth
- azerpas@DataDome
- bartezz19
- BAXYCode
- BitBaseBit
- chirag-bgh@create-protocol @starkpay-labs
- cyruliuNew Jersey USA
- DavideSilva@subvisual
- ElijahVlasovLondon
- enitratNethermind
- Eric-Song-NopTUDelft
- EvolveArt
- fasapa@NethermindEth
- gat786Nethermind
- GrapeBaBahttps://optimism-java.github.io/
- HilliamTLondon, United Kingdom
- JithinKS97Nethermind
- Julek@NethermindEth
- kknckk
- LEAFERxUC Berkeley
- legion2002Delhi, India
- mikedemarais@rainbow-me
- mmsaki@ExtropyIO
- OrochisunChina
- oxlime
- piotr-roslaniec
- pynchmeister
- Starknet-ZH
- WertusserLisboa
- xJonathanLEIHong Kong
- yuki1109PKU