Skip to content

@FeverTokens FeverTokens

Change the repository type filter

All

    Repositories list

    9 repositories

    • erc3643

      Public
      Solidity
      •0•0•0•2•Updated Aug 13, 2025Aug 13, 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.
      Python
      •
      MIT License
      •0•1•0•1•Updated Aug 10, 2025Aug 10, 2025

    • ft-package-oriented-framework

      Public
      Solidity
      •
      MIT License
      •0•0•1•1•Updated Jul 22, 2025Jul 22, 2025

    • ft-sobond-diamond

      Public
      TypeScript
      •
      Apache License 2.0
      •1•1•0•3•Updated Mar 28, 2025Mar 28, 2025

    • sc-bonds

      Public
      CACIB & SEB contributions to the open source proposition of model
      TypeScript
      •
      Apache License 2.0
      •6•1•0•0•Updated Aug 28, 2024Aug 28, 2024

    • actus-userguides

      Public
      Repository for uder documentation
      4•0•0•1•Updated Aug 21, 2024Aug 21, 2024

    • green-so-bond

      Public
      Solidity
      •
      Apache License 2.0
      •0•0•0•3•Updated Apr 4, 2024Apr 4, 2024

    • pnpm-action-setup

      Public
      Install pnpm package manager
      JavaScript
      •
      MIT License
      •131•0•0•0•Updated Apr 22, 2023Apr 22, 2023

    • postgres-operator

      Public archive
      Postgres operator creates and manages PostgreSQL clusters running in Kubernetes
      Go
      •
      MIT License
      •1k•0•0•0•Updated Nov 23, 2022Nov 23, 2022