zhidandeng Goto Github PK

aileraning

learnning ensorflow

algorithm-pattern-java

算法模板（Java版）——leetcode刷题与复习指南

awesome-go

A curated list of awesome Go frameworks, libraries and software

bian

BiAn is a code obfuscation tool for Solidity smart contracts (APSEC 2020).

blockchain_conference_paper

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

coderchain

码农链

coding-interview-university

A complete computer science study plan to become a software engineer.

collector

contractfuzzer

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

contractward

codes for the model

cs-notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

defectchecker

demeter-fetch

On chain data download tool for demeter

dianping_project

仿大众点评项目，包含前后端代码

dockerized_fuzzing

Run fuzzing experiments in Docker

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

eth-reentrancy-attack-patterns

Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

fluffy

Ethereum VM fuzzer

gatewayworker

Distributed realtime messaging framework based on workerman.

geth-analyze

go-ethereum source code analyzation under the perspective of smart contract security

huanggai

HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281/zenodo.4680168

javaguide

「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！

jiuzhou

JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).

karl

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

laravel

A PHP framework for web artisans.

mall4cloud

⭐️⭐️⭐️ Springcloud商城 O2O商城 小程序商城 PC商城 H5商城 APP商城 Java商城 分销商城 多用户商城 uniapp商城 微服务商城

manticore

Symbolic execution tool

mediacrawler

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫