daog1

MasterBitcoin2CN

《精通比特币》第二版 区块链研习社 云天明联合出品。本书更名《精通区块链编程第二版》已由机械工业出版社出版，京东有售。

basic-blockchain-programming

Sample code from my blog series "Basic blockchain programming".

echidna-rari-hack

Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna

trevm

Typestate interface for revm

mollusk

SVM program test harness.

dumb-jump

an Emacs "jump to definition" package for 50+ languages

meplang

An EVM low-level language that gives full control over the control flow of the smart contract.

abi-guesser

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

doom-config

Blazing fast Doom Emacs private configuration

dotemacs

BG's custom Emacs setup

.emacs.d

My Emacs config

rust-memory-container-cs

Rust Memory Container Cheat-sheet

emacs-book

An Emacs tutorial with extensions walkthrough

cryo

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

wop

零基础编程思维与实践课程《欢迎进入编程世界》主站

complgen

Declarative bash/fish/zsh completions without writing shell scripts

revmc

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

emacs-document

translate emacs documents to Chinese for convenient reference

wgcf

🚤 Cross-platform, unofficial CLI for Cloudflare Warp

verb

Organize and send HTTP requests from Emacs

minemacs

MinEmacs: an Emacs configuration framework for daily use

emacs-module-rs

Rust binding and tools for Emacs's dynamic modules

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

lsp-bridge

A blazingly fast LSP client for Emacs

treemacs

chsrc

chsrc 全平台通用换源工具. Change Source for every software on every platform from the command line.

custom_detector_example