daog1

Ice

Powerful menu bar manager for macOS

wgcf

🚤 Cross-platform, unofficial CLI for Cloudflare Warp

chsrc

chsrc 全平台通用换源工具与框架. Change Source everywhere for every software

rust-memory-container-cs

Rust Memory Container Cheat-sheet

treemacs

emacs-document

translate emacs documents to Chinese for convenient reference

lsp-bridge

A blazingly fast LSP client for Emacs

awesome-symbolic-execution

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

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!

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.

cryo

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

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

verb

Organize and send HTTP requests from Emacs

aderyn

Aderyn 🦜 Rust-based Solidity AST analyzer.

slitherin

Slither Detectors by Pessimistic.io

emacs-module-rs

Rust binding and tools for Emacs's dynamic modules

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

complgen

Declarative bash/fish/zsh completions without writing shell scripts

doom-config

Blazing fast Doom Emacs private configuration

revmc

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

minemacs

MinEmacs: an Emacs configuration framework for daily use

wop

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

dotemacs

BG's custom Emacs setup

emacs-book

An Emacs tutorial with extensions walkthrough

Liquidator-Morpho

EthBMC

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

evm-smart-contract-watcher-ethers

This simple project uses the ethers.js library to examine blocks using the eth_getBlockReceipts method and extract data about newly deployed smart contracts

etherface

Ethereum Signature Database

custom_detector_example

.emacs.d

My Emacs config