rabbitwhite1 Goto Github PK

d-rocksdb

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

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.

mathematical-modeling-in-python

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

msra-ustc-aisystemproject-2021

To summit MSRA AI System Project

neo4j_samplecode

Here are some codes to operate Neo4j.

p4-lang-vscode

syntax and semantic highlight extension for p4 language

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

rabbitwhite1

rabbitwhite1.github.io

Hank Zhanghan Wang's Website!

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)

ustc-health-report

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

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.

ycsb-cpp

YCSB written in C++ for RocksDB