yanliu18
Programming Language, Formal Methods Researcher / Smart Contract Auditor / Haskell/Rust programming
Pi2.networkMelbourne
Pinned Repositories
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.
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
awesome-mythx-smart-contract-security-tools
A curated list of resources and tools for the MythX smart contract security API
cactus
Hyperledger Cactus is a new approach to the blockchain interoperability problem
contract
Powerful Firewall For EOS Contract
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
ContractPedia
ContractPedia
Cosette
Cosette is an automated SQL solver.
https-github.com-jseabold-odsc-east-python-2018
yanliu18's Repositories
yanliu18/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
yanliu18/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
yanliu18/cactus
Hyperledger Cactus is a new approach to the blockchain interoperability problem
yanliu18/contract
Powerful Firewall For EOS Contract
yanliu18/Cosette
Cosette is an automated SQL solver.
yanliu18/daml
The DAML smart contract language
yanliu18/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.
yanliu18/foundationdb
FoundationDB - the open source, distributed, transactional key-value store
yanliu18/fp-course
Functional Programming Course
yanliu18/freeCodeCamp
The https://www.freeCodeCamp.org open source codebase and curriculum. Learn to code for free together with millions of people.
yanliu18/fuzzer-test-suite
Set of tests for fuzzing engines
yanliu18/Grant-Milestone-Delivery
Repository to submit finished milestones
yanliu18/Grants-Program
Web3 Foundation Grants Program
yanliu18/hamler
Haskell-style functional programming language running on Erlang VM.
yanliu18/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.
yanliu18/HaskellerZ
Notes and files from HaskellerZ meetups.
yanliu18/home-assistant
:house_with_garden: Open source home automation that puts local control and privacy first
yanliu18/ksql
The database purpose-built for stream processing applications.
yanliu18/practical-fm
A gently curated list of companies using verification formal methods in industry
yanliu18/rchain
yanliu18/reference
The Clarity Reference
yanliu18/securify
Security Scanner for Ethereum Smart Contracts
yanliu18/slingshot
A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
yanliu18/smart-contract-languages
A curated collection of resources on smart contract programming languages
yanliu18/spa
Security Protocol Analyzer
yanliu18/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
yanliu18/TokenTaxonomyFramework
Home of the TTF
yanliu18/Top-Blockchain-paper
Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, INFOCOM, etc.
yanliu18/tpm2-tss-verified
A modified version of tpm2-tss that passed memory safety formal verification
yanliu18/wasmsnark
A fast zkSnark proof generator written in native Web Assembly.