Teng Zhang's repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
acsl-by-example
Public snapshots of "ACSL by Example"
algorithm-pattern
算法模板,最科学的刷题方式,最快速的刷题路径,你值得拥有~
aptos-core
A layer 1 for everyone!
contractLarva
Runtime verification tool for Solidity smart contracts.
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
distalgo
This is the Python implementation of DistAlgo, a language for distributed algorithms.
firecracker
Secure and fast microVMs for serverless computing.
Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
MIRAI-fork
Rust mid-level IR Abstract Interpreter
move-hackathon-tutorial
Move tutorial for the hackathon happening on Dec 7-8
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
runtime-verification.github.io
Our Website
rv-monitor
RV-Monitor core system code
s2n
s2n : an implementation of the TLS/SSL protocols
samples
DARPA Cyber Grand Challenge Sample Challenges
smt2utils
Libraries and tools for the SMT-LIB-2 standard.
solidity
Solidity, the Smart Contract Programming Language