Shengqi Liu's starred repositories
papers-we-love
Papers from the computer science community to read and discuss.
calculator
Windows Calculator: A simple yet powerful calculator that ships with Windows
awesome-english-ebooks
经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新
wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)
distributed-consensus-reading-list
A list of papers about distributed consensus.
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.
Top-conference-paper-list
A collection of classified and organized top conference paper list.
simple_pbft
Sample implementation of PBFT consensus algorithm
BlockChainTechnology
Blockchain Frontier Technology Tracking
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
awesome-bft
Awesome Byzantine Fault Tolerance (BFT)
BinaryDatabase
Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing
provably-safe-sandboxing-wasm-usenix22
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
Velisarios
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
Bili_music_down
bilibili音乐下载 B站音频下载器
CRAQ-Verified
Verification of Terrace and Freedman's CRAQ protocol in Ivy, following the Sift methodology. Final project for COS516 Fall 22.