Giters
Guanzhou Hu (josehu07)

josehu07

Geek Repo

153

followers

228

following

720

stars

Company:University of Wisconsin-Madison

Location:Madison, WI

Home Page:https://josehu.com

Github PK Tool:Github PK Tool

Organizations
WiscADSL

Guanzhou Hu's repositories

hux-kernel

The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)

Language:CLicense:MITStargazers:60Issues:5Issues:2

open-cas-linux-mf

Multi-factor Caching Algorithm Implementation with Open CAS Linux

Language:PythonLicense:BSD-3-Clause-ClearStargazers:7Issues:3Issues:0

rux-kernel

The Rux x86_64 Toy Operating System Kernel (a Rust port of Hux, WIP)

Language:AssemblyLicense:MITStargazers:7Issues:2Issues:0

summerset

Distributed, Replicated, Protocol-generic Key-value Store in Async Rust

Language:RustLicense:MITStargazers:6Issues:2Issues:0

garner

Hierarchical Validation in OCC on a B+-tree Index

Language:C++License:MITStargazers:4Issues:2Issues:0

josehu07.github.io

Guanzhou's personal website

Language:HTMLStargazers:3Issues:2Issues:9

modern-cpp-features

A Cheatsheet of Modern C++ Language and Library Features

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

ocf-mf

Multi-factor Caching Algorithm Implementation with Open CAS Framework

Language:CLicense:BSD-3-Clause-ClearStargazers:3Issues:4Issues:0

cgol-demo

Conway's Game of Life demo in Rust WebAssembly

Language:RustLicense:MITStargazers:2Issues:1Issues:0

dctcp-demo

Demo of Data Center TCP (DCTCP) congestion control with ns-3

Language:PythonStargazers:2Issues:2Issues:0

Paper-Template-ACMSIG

Paper template: ACM SIG conferences.

Language:TeXStargazers:2Issues:1Issues:0

Paper-Template-USENIX

Paper template: USENIX conferences.

Language:TeXStargazers:2Issues:2Issues:0

josehu07

My personal profile repository

Stargazers:1Issues:2Issues:0

learn-tla

TLA+/PlusCal Study Material (all runnable with VSCode extension)

Language:TLALicense:MITStargazers:1Issues:1Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:1Issues:1Issues:0

tensorstore

Library for reading and writing large multi-dimensional arrays.

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

copilot

Guanzhou's Fork of the Copilot Replication Protocol

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

CS839-MLSys-AS2

CS839 MLSys SP2022 Collective Communication Assignment

Language:PythonStargazers:0Issues:2Issues:0

DBx1000

Language:C++License:ISCStargazers:0Issues:0Issues:0

DiskANN

Scalable graph based indices for approximate nearest neighbor search

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

etcd

Guanzhou's Fork of the etcd Distributed KV Store

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

intention-base

Language:HTMLStargazers:0Issues:2Issues:0

MadFS

Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”

Language:C++Stargazers:0Issues:0Issues:0

MGk-queue-sim

SimPy-based simulation for M/G/k queueing

Language:PythonStargazers:0Issues:0Issues:0

protocol-verification-fa2023

Assignments for COMP SCI 839 from UW-Madison in Fall 2023

Language:DafnyStargazers:0Issues:0Issues:0

rustynet

RustyNet: Network Emulation over Cloud Docker Containers

Language:RustLicense:MITStargazers:0Issues:2Issues:0

silo

Multicore in-memory storage engine

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

SplitFS

SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

tf-models

Models and examples built with TensorFlow

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

tla-examples

A collection of TLA+ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:0Issues:0Issues:0