fadingrose Goto Github PK
Name: Kobayakawa AMi
Type: User
Company: Nanjing University of Science and Technology
Bio: Postgraduate student in Smart Contract / DeFi Security.
Kobayakawa AMi's Projects
confuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
continue
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
effectivemoderncppchinese
《Effective Modern C++》- 完成翻译
evmlab
Utilities for interacting with the Ethereum virtual machine
evmone
Fast Ethereum Virtual Machine implementation
fadingrose.github.io
This repository is used to deploy Hexo personal blog.
go-z3
Bindings for the Z3 SMT solver
go-z3-bind
Go (golang) bindings to the Z3 SMT Solver
goevmlab
Evm laboratory
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
ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
kickstart.nvim
A launch point for your personal nvim configuration
marker
Convert PDF to markdown quickly with high accuracy
move
move-sui
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
participle
A parser library for Go
rattle
evm binary static analysis
sbvm
Stack based virtual machine
solidifi-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
teether
txtracker
A static tracker for solidity.
zap
Blazing fast, structured, leveled logging in Go.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.