imranpollob
Follow
🚴♂️
Highlights
- Pro
Lists (16)
Blockchain Security
29 repositories
Smart Contract Security Papers
6 repositories
Solidity
6 repositories
Blockchain
5 repositories
Foundry
10 repositories
SCS Tools
48 repositories
Formal Verification
3 repositories
Symbolic Execution
11 repositories
Intermediate Representation
3 repositories
Fuzzing Test
11 repositories
Coding
8 repositories
My Projects
Portfolio and interesting projects40 repositories
My Guides
How to guides and templates23 repositories
My Active Learning
Actively learning stuffs. Not a portfolio project5 repositories
My Learning
One time learning or already learned63 repositories
SC Vul Dataset
7 repositories
Starred repositories
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
Solidity, the Smart Contract Programming Language
Silero Models: pre-trained speech-to-text, text-to-speech and text-enhancement models made embarrassingly simple
Open Source framework for voice and multimodal conversational AI
This repo is meant to serve as a guide for Machine Learning/AI technical interviews.
🖥️ Enhances ChatGPT with wide/full/tall-screen + spamblock modes. Also works on perplexity.ai + poe.com!
A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).
A dynamic checker for the ECF property incorporated into geth
A framework for high-level Analysis of Ethereum Bytecode
Runtime verification tool for Solidity smart contracts.
A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.
Machine learning backed data insights for the Ethereum blockchain
Solidity code instrumentation and analysis framework.
Examples for the solc-verify presentation at the Solidity Summit 2020
SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Ethereum smart contracts. 《计算机科学》（Computer Science）
Smart Contract Security Verification Standard
A collection of papers and detection tools related to Smart Contract Auditing.
13
Updated Sep 15, 2024
A benchmark suite (under construction) for smart contract vulnerability tools
A unified smart contract standard data set.
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
My NeetCode 150 Practice Problems. Neetcode 150 @ https://neetcode.io/ is a list of 150 LeetCode problems designed to cover all possible patterns & topics in data structures. Mainly implementing in…
My version of solutions (with explanations) for Neetcode's practice list in Python
My solutions in C++, Python and Rust for problems on NeetCode.io
This repository contains a mindmap and stepwise resource to get started with Smart Contract Auditing. If you find anything missing or want to update existing resources, feel free to create a pull r…