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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10May 7, 2021Updated 4 years ago
- ☆10Dec 23, 2023Updated 2 years ago
- Demo project for testing debugging features☆10Mar 30, 2021Updated 5 years ago
- **LEGACY** Cross-chain protocol for automated ETH swaps☆11Oct 27, 2025Updated 5 months ago
- ☆10Aug 18, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Contractos for BattleHero ecosystem.☆10Nov 29, 2021Updated 4 years ago
- ☆11Feb 9, 2023Updated 3 years ago
- exotic NFT and ERC20 covered call vaults☆10Aug 5, 2022Updated 3 years ago
- Loops the over all MakerDao collateral types and adjusts the DC-IAM lines.☆11Oct 29, 2021Updated 4 years ago
- Flexible diversification for DAO treasuries☆10Jul 6, 2022Updated 3 years ago
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- Core smart contracts of Sumswap v3☆11Oct 25, 2021Updated 4 years ago
- ☆10Jun 26, 2022Updated 3 years ago
- ☆10Jul 7, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- EIP-4430 Smart Contract Prototype☆10Jun 13, 2022Updated 3 years ago
- SealCred Ledger contract code☆11Feb 1, 2023Updated 3 years ago
- ☆11Feb 1, 2024Updated 2 years ago
- Fuzzing campaign for https://github.com/drips-network/contracts☆10Oct 28, 2025Updated 5 months ago
- 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 4 years ago
- ☆10Jan 6, 2022Updated 4 years ago
- sirius finance contract☆11May 24, 2022Updated 3 years ago
- ☆11Jul 21, 2021Updated 4 years ago
- Stake LP Tokens and earn RIO☆10Oct 20, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Jan 30, 2023Updated 3 years ago
- ☆10Aug 7, 2023Updated 2 years ago
- Simple Sushi Zap contract☆10Jul 15, 2021Updated 4 years ago
- ☆10Jun 19, 2022Updated 3 years ago
- This is the smart contract that provide fixed-rate borrowing for farmers and lending for investors by utilizing a bond tranche scheme. 👩…☆11Dec 15, 2021Updated 4 years ago
- ☆11Jan 12, 2024Updated 2 years ago
- Polyroll Game Contract☆10Aug 3, 2021Updated 4 years ago
- BNB Chain Zero2Hero Bootcamp by Encode Club☆10Apr 25, 2023Updated 2 years ago
- Repository of important ETH attacks, based on smart contract vulnerabilities.☆11Jan 19, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collection of notes & references I use locally for developement.☆10Nov 20, 2025Updated 4 months ago
- ☆10Dec 18, 2018Updated 7 years ago
- All Aboard! The DApp Alliance for Onboarding No-coiners (Backend)☆11Sep 9, 2018Updated 7 years ago
- Cloudchain: A Blockchain-Based Cloud Federation☆10Nov 10, 2022Updated 3 years ago
- bumper protocol bootstrap contract suite☆10Jul 12, 2021Updated 4 years ago
- how to create NFT's and populate them with additional attributes☆10Nov 11, 2020Updated 5 years ago
- Official repository for the Tunes Project☆10Sep 16, 2021Updated 4 years ago