
repos
29
ecosystems
9
languages
7
commits
12,315
─── top repos · by commits
─── repositories
29 totalSynthetix Solidity smart contracts
Modified synthetix protocol
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Horizon Solidity smart contracts
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Synthetix Solidity smart contracts
Liquidity Mining Reward Contracts
Static program analysis framework for Ethereum smart contract bytecode.
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
Agent-based model of the proposed stablecoin.
A binary lifter and analysis framework for Ethereum smart contracts
A binary lifter and analysis framework for Ethereum smart contracts
DEPRECATED - The old Havven White Paper
The Synthetix Improvement Proposal repository
The Kwenta Improvement Proposal repository
The Synthetix Improvement Proposal repository
A collection of useful smart contract components. (internal)
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Akropolis Protocol Implementation on Ethereum Blockchain
Utility smart contracts to be used with the Synthetix dApps
Takes solidity code and flattens it to the format Etherscan needs for verification.
Utility smart contracts to be used with the Horizon dApps
─── peer developers
─── ecosystems
─── languages
- JavaScript6
- Solidity5
- HTML3
- Python3
- Jupyter Notebook3
- TeX1
- TypeScript1
─── subscriber view
Unlock the full view of zyzek
- · 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.



















