Pinned Loading
Repositories
Showing 10 of 12 repositories
- microloan-packages Public
FeverTokens/microloan-packages’s past year of commit activity - erc3643 Public
FeverTokens/erc3643’s past year of commit activity - packages Public
Modular, upgradeable smart contracts using a package-oriented framework built on the EIP-2535 Diamond Standard.
FeverTokens/packages’s past year of commit activity - docs Public
FeverTokens/docs’s past year of commit activity - cedar-protocol Public
FeverTokens/cedar-protocol’s past year of commit activity - B-method-model-for-FT-packages-formal-verification Public
This repository provides a B-Method verification model for the FeverTokens Package-Oriented Smart Contract Framework. Its goal is simple: prove that a package (facet) is structurally sound on its own and remains safe when composed with other packages in a Diamond (EIP-2535) setup.
FeverTokens/B-method-model-for-FT-packages-formal-verification’s past year of commit activity - ft-sobond-diamond Public
FeverTokens/ft-sobond-diamond’s past year of commit activity - sc-bonds Public Forked from so-bond/sc-bonds
CACIB & SEB contributions to the open source proposition of model
FeverTokens/sc-bonds’s past year of commit activity - green-so-bond Public
FeverTokens/green-so-bond’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…