Zhe Ye (LEAFERx)

LEAFERx

Geek Repo

Company:UC Berkeley

Location:Berkeley, CA

Home Page:https://leaferx.online

Twitter:@0xlf_

Github PK Tool:Github PK Tool


Organizations
CoLearn-Dev
ShanghaitechGeekPie
SpecularL2
sunblaze-ucb

Zhe Ye's repositories

Stargazers:0Issues:0Issues:0

Movable

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

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0

magi

A blazing fast OP Stack rollup client written in Rust

Language:RustLicense:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

crytic-compile

Abstraction layer for smart contract build systems

License:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:SolidityStargazers:1Issues:0Issues:0
Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

hardhat

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

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0

nitro

Nitro goes vroom and fixes everything

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:SolidityStargazers:1Issues:0Issues:0

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

hexo-theme-cactus

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

Language:StylusLicense:MITStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:1Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

go-ethereum

Official Go implementation of the Ethereum protocol

License:LGPL-3.0Stargazers:0Issues:0Issues:0

bor

Official repository for the Matic Blockchain

Language:GoLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

bsc

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

License:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:CStargazers:1Issues:0Issues:0
Language:VueStargazers:1Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

hexo-leancloud-counter

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

Language:JavaScriptLicense:LGPL-3.0Stargazers:1Issues:0Issues:0