yanliu18

academicpages.github.io

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

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

cactus

Hyperledger Cactus is a new approach to the blockchain interoperability problem

contract

Powerful Firewall For EOS Contract

Cosette

Cosette is an automated SQL solver.

daml

The DAML smart contract language

fabric

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

fp-course

Functional Programming Course

freeCodeCamp

The https://www.freeCodeCamp.org open source codebase and curriculum. Learn to code for free together with millions of people.

fuzzer-test-suite

Set of tests for fuzzing engines

Grant-Milestone-Delivery

Repository to submit finished milestones

Grants-Program

Web3 Foundation Grants Program

hamler

Haskell-style functional programming language running on Erlang VM.

hangzhou_house_knowledge

2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.

HaskellerZ

Notes and files from HaskellerZ meetups.

home-assistant

:house_with_garden: Open source home automation that puts local control and privacy first

ksql

The database purpose-built for stream processing applications.

practical-fm

A gently curated list of companies using verification formal methods in industry

rchain

reference

The Clarity Reference

securify

Security Scanner for Ethereum Smart Contracts

slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

smart-contract-languages

A curated collection of resources on smart contract programming languages

spa

Security Protocol Analyzer

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

TokenTaxonomyFramework

Home of the TTF

Top-Blockchain-paper

Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, INFOCOM, etc.

tpm2-tss-verified

A modified version of tpm2-tss that passed memory safety formal verification

wasmsnark

A fast zkSnark proof generator written in native Web Assembly.