project-everest/ethereum-star external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

project-everest/ethereum-star

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/project-everest/ethereum-star)

Close

project-everest / ethereum-starView on GitHubMore

• External links
• Readme badge

F* proofs of Ethereum

☆10Sep 17, 2021Updated 4 years ago

Alternatives and similar repositories for ethereum-star

Users that are interested in ethereum-star are comparing it to the libraries listed below

• CryptoUltraman / contract

  View on GitHub
  ☆10May 7, 2021Updated 4 years ago
• PAYVERTISE / PAYVERTISE

  View on GitHub
  ☆10Dec 23, 2023Updated 2 years ago
• battleheroio / contracts

  View on GitHub
  Contractos for BattleHero ecosystem.
  ☆10Nov 29, 2021Updated 4 years ago
• KuDoge / KuDoge

  View on GitHub
  ☆10Jul 7, 2021Updated 4 years ago
• smart2022 / Frz-solar-system

  View on GitHub
  the main purpose of the FRZS token is to strengthen the solar energy industry and expanding this industry to help electricity supply for …
  ☆11Mar 24, 2022Updated 3 years ago
• DingoToken / Dingo-Token

  View on GitHub
  ☆11Jan 30, 2023Updated 3 years ago
• ConsenSys-archive / solidity-magic-square

  View on GitHub
  Demo project for testing debugging features
  ☆10Mar 30, 2021Updated 4 years ago
• realiotech / lp-staking

  View on GitHub
  Stake LP Tokens and earn RIO
  ☆10Oct 20, 2020Updated 5 years ago
• trojanMcAfee / ozel

  View on GitHub
  Cross-chain protocol for automated ETH swaps
  ☆11Oct 27, 2025Updated 4 months ago
• sumswap / sumswap-v3-core

  View on GitHub
  Core smart contracts of Sumswap v3
  ☆11Oct 25, 2021Updated 4 years ago
• aleezeh611 / crowdfunding_smart_contract

  View on GitHub
  ☆11Jan 19, 2022Updated 4 years ago
• mvanhalen / TipActionModule

  View on GitHub
  ☆11Jan 12, 2024Updated 2 years ago
• kavehbc / Cloudchain

  View on GitHub
  Cloudchain: A Blockchain-Based Cloud Federation
  ☆10Nov 10, 2022Updated 3 years ago
• Kr1ptal / universal-uniswap-v2-callback

  View on GitHub
  Universal handler for any Uniswap-V2-like callback
  ☆12Dec 8, 2022Updated 3 years ago
• BigWhaleLabs / seal-cred-ledger-contract

  View on GitHub
  SealCred Ledger contract code
  ☆10Feb 1, 2023Updated 3 years ago
• brianmcmichael / autoexec

  View on GitHub
  Loops the over all MakerDao collateral types and adjusts the DC-IAM lines.
  ☆11Oct 29, 2021Updated 4 years ago
• goosedefi / goose-contracts-incubator

  View on GitHub
  ☆10Feb 28, 2021Updated 5 years ago
• parthoshaon / Republic-Credit-DeFi

  View on GitHub
  Republic credit is a DeFi Ethereum smart contract, implemented on solidity.
  ☆10Jul 11, 2023Updated 2 years ago
• buttermarkets / spread

  View on GitHub
  Flexible diversification for DAO treasuries
  ☆10Jul 6, 2022Updated 3 years ago
• Pearl-Finance / pearl-contracts

  View on GitHub
  ☆10Sep 14, 2023Updated 2 years ago
• 0xefrain / Bsc-bootcamp

  View on GitHub
  BNB Chain Zero2Hero Bootcamp by Encode Club
  ☆10Apr 25, 2023Updated 2 years ago
• SiriusFinance / siriusfinance-contract

  View on GitHub
  sirius finance contract
  ☆11May 24, 2022Updated 3 years ago
• capofficial / protocol

  View on GitHub
  CAP v4 Solidity Contracts
  ☆10Jan 10, 2023Updated 3 years ago
• the-laurel / demos

  View on GitHub
  ☆11Feb 9, 2023Updated 3 years ago
• Decurity / compound-semgrep-rules

  View on GitHub
  ☆10Apr 6, 2023Updated 2 years ago
• matprime / ERC-721_NFT_creation_demo

  View on GitHub
  how to create NFT's and populate them with additional attributes
  ☆10Nov 11, 2020Updated 5 years ago
• gretzke / hardhat-typescript-template

  View on GitHub
  ☆10Aug 7, 2023Updated 2 years ago
• yfbeta / yfbeta.finance

  View on GitHub
  ☆10Nov 11, 2020Updated 5 years ago
• Swivel-Finance / illuminate

  View on GitHub
  ☆11Feb 1, 2024Updated 2 years ago
• rajkaste / BlockchainEssentials

  View on GitHub
  Blockchain Assignments
  ☆10Dec 11, 2020Updated 5 years ago
• XY-Finance / xy-protocol

  View on GitHub
  ☆10Aug 18, 2023Updated 2 years ago
• ETHNYC-ZK-KYC-Soulbound / Soulbound

  View on GitHub
  ☆10Jun 26, 2022Updated 3 years ago
• emo-eth / ApeCoinStaking

  View on GitHub
  Template for working with the ApeCoinStaking smart contract in Foundry
  ☆10Dec 7, 2022Updated 3 years ago
• outdoteth / cally

  View on GitHub
  exotic NFT and ERC20 covered call vaults
  ☆10Aug 5, 2022Updated 3 years ago
• TheGraphIndia / Web3-with-The-Graph-India

  View on GitHub
  Navigating WEB3 with The Graph
  ☆11Sep 9, 2023Updated 2 years ago
• Soteria-core / soteria

  View on GitHub
  ☆10Jan 6, 2022Updated 4 years ago
• IMALio / IMAL

  View on GitHub
  ☆10Jul 25, 2023Updated 2 years ago
• kreskohq / kresko-protocol-old

  View on GitHub
  This is Kresko’s old codebase. We built an end-to-end prototype to showcase our vision. A barebones synthetic protocol and a frontend PWA…
  ☆10Feb 3, 2022Updated 4 years ago
• jamesbachini / masterchef

  View on GitHub
  Updated version of the sushi masterchef contract
  ☆10Jan 20, 2022Updated 4 years ago