repos
79
ecosystems
8
languages
7
commits
2,982
─── top repos · by commits
─── repositories
79 totalForked of https://github.com/liquity/V2-gov
Generalized onChain reward contract that allows to retroactively reward depositors with any token
Get more Matic with your Matic, on Polygon
Badger Vaults, fork of Yearn V4.3.0
Strategy mix for Badger DAO Strategies, for Sett V3 architecture (Yearn V1 Style)
Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.
Pivoted to OpenSky during Chainlink Hackathon. Decentralized, uncensorable blogging on Matic, IPFS for image and blog hosting, theGraph for quick data fetching
Just run 2 instances and see
Badger eBTC x Certora Formal Verification Competition (Nov 2023, 🥈#2 place) + writeup
Repository for blog post comparing differences between the Certora Prover and Trail of Bits' Echidna
Math to compare various AMM
https://dashboard.heroku.com/apps/polymarket-redis-status
Run`halmos --mc CryticTester`
Notes from my solo review of Kleidi - Contracts are the scope I had which may be different from latest!
Citadel DAO Core Contracts
Micro Blog on Matic Monorepo
DCA Strategy for Solidex Staking Vaults
An ERC20 that allows to bulk operations for self and for other contracts by forwarding the msg.sender as the first parameter
At a glance status of Polymarket Infra
0.8.20 yieldbox on foundry
Repro of issues with pranking when comparing echidna and foundry
Verify on Chain Balances
bCVX and bcvxCRV Strategies and Test suites
A "endpoint" contract, for you to deposit your Emitting Vault Tokens
Example RewardsManager contract implementation for part 3 of Recon Bootcamp
Cdp base code
Smart Contract Property-Based Testing Framework
Solidly Dev Setup on ftm testnet
Monorepo template with hardhat, next and theGraph.
Aggregated Zaps for eBTC
Badger Protocol Application Interface
Subgraph for matic-social
Experimental Echidna Builds
Repro of an unexpected crash, we would expect the compiler to prevent calling into a pre-compile, however HEVM crashes echidna either way
Given your Polymarket Address This tool will check your latest burnhash And tell you if you can withdraw Very useful for withdrawal being stuck
V2 version of wBTC / USDC LP on Quickswap - WARNING RISKY
A very simple example project of using Create Chimera App for Invariant Testing - https://book.getrecon.xyz/tutorial/sample_project.html
Gas tests for Connext Contest
Yearn Vaults v2 strategy template
A list of public fuzzing campaigns
Gsn V1 Site. Use at own risk
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Static smart contract code 4naly3er
Badger DAO's EVM multisig operations.
Badger Protocol Typescript SDK
eBTC's EVM multisig operations.
─── peer developers
─── ecosystems
─── languages
- Solidity40
- TypeScript16
- Python12
- JavaScript5
- HTML2
- Haskell1
- Go1
─── subscriber view
Unlock the full view of GalloDaSballo
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.