Pinned Repositories
artblocks
Create Generative Art NFTs with centralized metadata using the Contracts SDK
artblocks-engine-react
Template to build Art Blocks Engine apps.
artblocks-starter-template
A starter project for new artists looking to launch on Art Blocks.
Audit-findings
AuraSphereNFT
A generative art project
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
aztec-connect-bridges
flashbots-mevboostxbundler
A template where you can run everything you need for mev-boost
QGSS21-quantum-ml
All the labs I completed successfully during the QGSS 2021 on quantum machine learning.
StockPriceWebApp
le-kag's Repositories
le-kag/bountiful
Get paid to break things
le-kag/building-secure-contracts
Guidelines and training material to write secure smart contracts
le-kag/CustomTkinter
A modern and customizable python UI-library based on Tkinter
le-kag/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
le-kag/eth-withdraw-ui
le-kag/ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
le-kag/gambit
Using mutations to improve specs and test suites
le-kag/generative
le-kag/halmos
Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode
le-kag/le-kag
Config files for my GitHub profile.
le-kag/learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
le-kag/lodestar-protocol
Houses the code for the Lodestar Finance DeFi protocol.
le-kag/mr-steal-yo-crypto-ctf
Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
le-kag/On-Chain-Investigations-Tools-List
Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!
le-kag/planka
The realtime kanban board for workgroups built with React and Redux.
le-kag/pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
le-kag/rainbowwagmi
The best way to connect a wallet 🌈 🧰
le-kag/secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
le-kag/sol-fun
le-kag/solady
Optimized Solidity snippets.
le-kag/TalkToCode
le-kag/trpc
🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
le-kag/turbopilot
le-kag/Tutorial-FV
Practical tutorials of Certora Prover
le-kag/useful-solidity-patterns
le-kag/web3.py
le-kag/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts
le-kag/weth-invariant-testing
le-kag/WTF-gas-optimization
Solidity gas optimization techniques, using Foundry.
le-kag/z3
The Z3 Theorem Prover