Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tokenlibs With Proofs

Correctness proofs of Ethereum token contracts
Stars
71
License
lgpl-3.0
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
Coq
Categories
Repo
Suggest An Alternative To tokenlibs-with-proofs
Popular Token Projects
Apprise ⭐ 9,254
Apprise - Push Notifications that work with just about every platform!
dependent packages 35total releases 54latest release October 15, 2023most recent commit 3 months agopypi apprise} Downloads
Satellizer ⭐ 8,017
Token-based AngularJS Authentication
dependent packages 7total releases 56latest release August 30, 2016most recent commit 4 years agonpm satellizer} Downloads
Popular Coq Projects
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Contracts Solidity
Token Contracts
Token Solidity
Token Erc20
Contracts Erc20
Solidity Erc20

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Token
Solidity
Coq
Erc20
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.