Teng Zhang's repositories

academicpages.github.io

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

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

acsl-by-example

Public snapshots of "ACSL by Example"

Language:CStargazers:0Issues:0Issues:0

algorithm-pattern

算法模板,最科学的刷题方式,最快速的刷题路径,你值得拥有~

Language:GoStargazers:0Issues:0Issues:0

aptos-core

A layer 1 for everyone!

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:0Issues:1Issues:0

contractLarva

Runtime verification tool for Solidity smart contracts.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

courses

Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1

Language:HTMLStargazers:0Issues:1Issues:0

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

distalgo

This is the Python implementation of DistAlgo, a language for distributed algorithms.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

firecracker

Secure and fast microVMs for serverless computing.

License:Apache-2.0Stargazers:0Issues:0Issues:0

Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:MoveStargazers:0Issues:0Issues:0

MIRAI-fork

Rust mid-level IR Abstract Interpreter

License:MITStargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

move-hackathon-tutorial

Move tutorial for the hackathon happening on Dec 7-8

Language:ShellStargazers:0Issues:0Issues:0
Language:MoveStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:SCSSStargazers:0Issues:0Issues:0

rv-monitor

RV-Monitor core system code

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

s2n

s2n : an implementation of the TLS/SSL protocols

License:Apache-2.0Stargazers:0Issues:0Issues:0

samples

DARPA Cyber Grand Challenge Sample Challenges

Language:CStargazers:0Issues:0Issues:0

smt2utils

Libraries and tools for the SMT-LIB-2 standard.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:0Issues:0

solidity

Solidity, the Smart Contract Programming Language

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0