LEAFERx

Zhe Ye's repositories

bingring-frontend

Language:Vue1 10

CS271MeshViewer

Language:C1 20

hexo-leancloud-counter

A plugin that count visitors for your Hexo site. Powered by LeanCloud.

Language:JavaScriptLGPL-3.01 12 3

Movable

A symbolic execution tool for Move, which is a smart contract language designed for Facebook Diem.

Language:RustNOASSERTION1 10

slither-mre

Language:Solidity1 10

uniswap

Language:Solidity1 10

volvis

Language:JavaScript1 20

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXCC-BY-SA-4.0100

bingring-firmware

Language:C++010

bingring-mockdata

Language:JavaScript010

bor

Official repository for the Matic Blockchain

Language:GoLGPL-3.0010

BridgeMeasurement

Language:Python020

bsc

A Binance Smart Chain client based on the go-ethereum fork

Language:GoLGPL-3.0010

CG1-volume

Language:C++020

chiado-ethers-mre

Language:JavaScript010

crytic-compile

Abstraction layer for smart contract build systems

Language:PythonAGPL-3.0000

DeSec-ethereum-demo

Language:Solidity010

get-raw-eth-blocks

Language:Go000

gnark-test

Language:Go010

go-ethereum

Official Go implementation of the Ethereum protocol

Language:GoLGPL-3.0010

go-mod-test

Language:Go010

hardhat

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software. Get Solidity stack traces & console.log.

Language:TypeScriptNOASSERTION000

hexo-theme-cactus

:cactus: A responsive, clean and simple theme for Hexo.

Language:StylusMIT000

jATNet

Language:Java020

LEAFERx

010

magi

A blazing fast OP Stack rollup client written in Rust

Language:RustAGPL-3.0000

nitro

Nitro goes vroom and fixes everything

Language:GoNOASSERTION000

project-fa21

Language:Python010

rust-async-pipeline-test

Language:Rust010

Virgo-Orion

Language:C++Apache-2.0000