yxliang

gitu MSG = git add . && git commit -m MSG && git push

A tool for developing smart contracts. Crafted with the finest cacaos.

Solidity, the Contract-Oriented Programming Language

Dynamic, browser-based visualization library

No description provided.

Compile Solidity source code and verify its bytecode matches the blockchain

Mythril Classic: Security analysis tool for Ethereum smart contracts

No description provided.

No description provided.

My Snippets!

It will mine only when a set of predefined behaviours like pending transactions. This is useful for developing with ethereum with private chains.

JiuZhou is a data set of Ethereum bug smart contracts.

TracerX Symbolic Executor for Problem Solving

Tracer-X KLEE Symbolic Virtual Machine

Combination of multiple linters to install as a GitHub Action

Lean C/C++ Bounds Checking with Low-Fat Pointers

KLEE Symbolic Execution Engine

A PoPuLaToR for a PeePhoLe opTimizeR

Runtime type and bounds-error checking for C/C++

Emerging Market Experiment

Node API to control Firefox

Ethereum JavaScript API

🤖📦 Create a new probot app

A formal verifier and analysis tool for Solidity Smart Contracts

cli tool to check Solidity storage memory layout of structs for inefficiencies

CUDA integration for Python, plus shiny features

Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

A better way to mark terminal output in color

Sleeping human in ASCII text

No description provided.