Skip to content
@FeverTokens

FeverTokens

Pinned Loading

  1. B-method-model-for-FT-packages-formal-verification 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 o…

    Python 2 1

  2. packages packages Public

    Modular, upgradeable smart contracts using a package-oriented framework built on the EIP-2535 Diamond Standard.

    Solidity 2 2

  3. microloan-packages microloan-packages Public

    TypeScript 1 1

Repositories

Showing 10 of 14 repositories
  • actus-userguides Public Forked from actusfrf/actus-userguides

    Repository for uder documentation

    FeverTokens/actus-userguides’s past year of commit activity
    HTML 0 6 0 6 Updated Mar 30, 2026
  • erc3643 Public
    FeverTokens/erc3643’s past year of commit activity
    Solidity 0 1 0 8 Updated Mar 26, 2026
  • Fever-components Public
    FeverTokens/Fever-components’s past year of commit activity
    TypeScript 0 MIT 0 0 3 Updated Mar 4, 2026
  • docs Public
    FeverTokens/docs’s past year of commit activity
    TypeScript 0 Apache-2.0 1 1 6 Updated Feb 14, 2026
  • 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
    Solidity 2 Apache-2.0 2 5 2 Updated Jan 22, 2026
  • microloan-packages Public
    FeverTokens/microloan-packages’s past year of commit activity
    TypeScript 1 1 1 4 Updated Jan 15, 2026
  • pnpm-action-setup Public Forked from pnpm/action-setup

    Install pnpm package manager

    FeverTokens/pnpm-action-setup’s past year of commit activity
    TypeScript 0 MIT 186 0 0 Updated Jan 12, 2026
  • vlei-trade-finance-protocol Public
    FeverTokens/vlei-trade-finance-protocol’s past year of commit activity
    Solidity 0 Apache-2.0 1 0 2 Updated Nov 20, 2025
  • cedar-protocol Public
    FeverTokens/cedar-protocol’s past year of commit activity
    1 1 0 0 Updated Oct 3, 2025
  • 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
    Python 2 MIT 1 0 0 Updated Sep 23, 2025
View all repositories

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…