Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Horus Checker

Horus, a formal verification tool for StarkNet smart contracts.
Stars
43
License
other
Open Issues
15
Most Recent Commit
a year ago
Programming Language
Haskell
Categories
Site
Repo
Alternatives To Horus Checker
Select To Compare
Gotk3 ⭐ 1,984
Go bindings for GTK3
dependent packages 136total releases 64most recent commit 3 months ago
Canvas ⭐ 1,387
Cairo in Go: vector to raster, SVG, PDF, EPS, WASM, OpenGL, Gio, etc.
dependent packages 14total releases 15most recent commit 3 months ago
Cairo Lang ⭐ 1,293
most recent commit 5 months ago
Piet ⭐ 1,173
An abstraction for 2D graphics.
dependent packages 19total releases 29most recent commit 4 months agocargo piet} Downloads


Suggest An Alternative To horus-checker
Popular Media Categories
Screenshot
Ffmpeg
Volume
Image Processing
Spotify
Radio
Playlist
Decoder
Qrcode
Encoder
Related Searches
Cairo Starknet
Haskell Cairo
Haskell Formal Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Cairo
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.