Hanzhi Liu (MisakaCenter)

MisakaCenter

Geek Repo

Company:@RiemaLabs

Location:US

Github PK Tool:Github PK Tool


Organizations
Chi-Task-Force
Coq-zh
Simple-XX

Hanzhi Liu's repositories

RayTracer.ml

🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"

abi-guesser-py

Python replication of samczsun's abi-guesser

Language:PythonStargazers:0Issues:0Issues:0

blazctf-2023

Challenges and Solutions of Blaz CTF 2023

Language:SolidityStargazers:0Issues:0Issues:0

blockchain_conference_paper

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

Stargazers:0Issues:1Issues:0

blutgang

the wd40 of ethereum load balancers

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

CFMMRouter.jl

Convex optimization for fun and profit. (Now in Julia!)

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

chi-cv-template

🤩 Rip-off of skyzh's CV

Language:TeXLicense:MITStargazers:0Issues:1Issues:0
Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:1Issues:0

circomlib-ml

Circom Circuits Library for Machine Learning

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:CoqLicense:MITStargazers:0Issues:0Issues:0

cryo

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

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

deepsea-1

The DeepSEA programming language

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

EcneProject

Ecne: An engine for verifying the soundness of R1CS constraints

Language:JuliaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

ETH-transactions-storage

Indexer for Ethereum to get transaction list by ETH address

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

EtherSolve

Source code of EtherSolve: static analysis of Ethereum bytecode

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

ethtx

Python package with core transaction decoding functions.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

evm-from-scratch

Super secret 100% practical EVM course. Please do not share

Language:JavaScriptStargazers:0Issues:0Issues:0

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

heimdall-rs

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

mempool-dumpster

Dump all the mempool transactions 🗑️ ♻️ (in Parquet + CSV)

Language:GoLicense:MITStargazers:0Issues:0Issues:0
Language:MDXStargazers:0Issues:0Issues:0

misakacenter.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

op-espresso-integration

Optimism is Ethereum, scaled.

Language:GoLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

Papyrus

A Symbolic Execution Tool for Cairo

Language:RacketLicense:MITStargazers:0Issues:1Issues:0
Language:CircomStargazers:0Issues:0Issues:0

sothis

Replay and track historical state

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

thala-run

Think Etherscan Write Contract, but on Aptos

Language:TypeScriptStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0