RabbitWhite1

Mathematical-Modeling-In-Python

用Python实现了《数学建模算法与应用》第二版中的部分示例代码. (原书中使用的是Matlab)

RabbitWhite1.github.io

Hank Zhanghan Wang's Website!

p4-lang-vscode

syntax and semantic highlight extension for p4 language

USTC-Health-Report

写着玩的 USTC(**科学技术大学) 健康打卡脚本. 由python实现, 借助windows的task schedule完成定时上报.(当然也可使用crontab, 但我未写相应安装脚本)

d-rocksdb

D-RocksDB disaggregate the memory of block cache in RocksDB, but seems not quite useful with my implementation.

MSRA-USTC-AISystemProject-2021

To summit MSRA AI System Project

vhost

A tool to provide virtual hosts, so that we can use the Barefoot Tofino model switch. This tool aims to make the hosts look like directly connected to Tofino model switch.

exprmngr

This is a tool that can map an experiment configuration to a unique id, which can be helpful for storing logs, experiment setups, and so on.

FBGEMM

FB (Facebook) + GEMM (General Matrix-Matrix Multiplication) - https://code.fb.com/ml-applications/fbgemm/

go-ycsb

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Neo4j_SampleCode

Here are some codes to operate Neo4j.

p4-tutorials

P4 language tutorials

pictures

Some pictures for online using.

prism

The main development version of the PRISM model checker.

prism-examples

This repository models some modern complicated distributed protocols

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

RabbitWhite1

Scala-Quickstart

Sample codes and explanations for Scala, which can help you quickstart!

tlapp

TLA Path Parser

torchrec

Pytorch domain library for recommendation systems

trino

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

YCSB-cpp

YCSB written in C++ for RocksDB