Beast code in Giters

Jingyu Zhou's starred repositories

solidity-expert

4年打磨-2022年海外一线大厂-以太坊开发教程（a solidity tutorial makes you a dapp expert）WIP

Language:Solidity131100

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Language:DockerfileUnlicense6598500

expert_readed_books

2021年最新总结，推荐工程师合适读本，计算机科学，软件技术，创业，**类，数学类，人物传记书籍

660200

腾讯云开发云原生一体化部署工具 🚀 CloudBase Framework：一键部署，不限框架语言，云端一体化开发，基于Serverless 架构。A front-end and back-end integrated deployment tool. One-click deploy to serverless architecture. https://docs.cloudbase.net/framework/index

Language:JavaScriptNOASSERTION193700

BullshitGenerator

Needs to generate some texts to test if my GUI rendering codes good or not. so I made this.

Language:JavaScriptNOASSERTION1569300

I4

The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"

Language:Python2600