Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Verified Plasma Contracts

Formal Verification for Plasma-mvp
Stars
5
License
apache-2.0
Open Issues
11
Most Recent Commit
5 years ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To verified-plasma-contracts
Popular Mvp Projects
Ribs ⭐ 7,591
Uber's cross-platform mobile architecture framework.
dependent packages 9total releases 26latest release November 27, 2023most recent commit 4 months ago
Popular Evm Projects
Go Ethereum ⭐ 44,614
Official Go implementation of the Ethereum protocol
dependent packages 3,318total releases 672latest release November 14, 2023most recent commit 3 months ago
Openzeppelin Contracts ⭐ 24,136
OpenZeppelin Contracts is a library for secure smart contract development.
dependent packages 2,941total releases 81latest release December 08, 2023most recent commit 11 days agonpm @openzeppelin/contracts} Downloads
Chains ⭐ 7,342
provides metadata for chains
most recent commit 3 months ago
Popular Software Architecture Categories
Mvc
Dependency Injection
Mvvm
Domain Driven Design
Flux
Mvp
Design Pattern
Distributed Systems
Cqrs
Viewmodel

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Mvp
Evm
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.