josehu07

Summer2024-Internships

Collection of Summer 2024 tech internships!

stats

macOS system monitor in your menu bar

paramiko

The leading native Python SSHv2 protocol library.

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

mountpoint-s3

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

syn

Parser for Rust source code

CompCert

The CompCert formally-verified C compiler

toml

Python lib for TOML

verus

Verified Rust for low-level systems code

ubuntu-mainline-kernel.sh

Bash script for Ubuntu (and derivatives) to easily (un)install kernels from the Ubuntu Kernel PPA

brokenaxes

Create matplotlib plots with broken axes

taskbar-stats

Display live system stats on Windows's taskbar

systemc

SystemC Reference Implementation

pdfCropMargins

pdfCropMargins -- a program to crop the margins of PDF files

MQSim

MQSim is a fast and accurate simulator modeling the performance of modern multi-queue (MQ) SSDs as well as traditional SATA based SSDs. MQSim faithfully models new high-bandwidth protocol implementations, steady-state SSD conditions, and the full end-to-end latency of requests in modern SSDs. It is described in detail in the FAST 2018 paper by Arash Tavakkol et al., "MQSim: A Framework for Enabling Realistic Studies of Modern Multi-Queue SSD Devices" (https://people.inf.ethz.ch/omutlu/pub/MQSim-SSD-simulation-framework_fast18.pdf)

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

rust-ordered-float

automod

Pull in every source file in a directory as a module

tray-monitor

🔋 Battery percentage & cpu/memory/network load as plots in system tray

rangemap

Map data structure whose keys are stored as ranges

simcpp

Discrete event simulation in C++ using Protothreads

rust-float-ord

Ditto

This is the implementation repository of our SOSP'23 paper: Ditto: An Elastic and Adaptive Memory-Disaggregated Caching System.

z-plot

Zplot: a Python-based plotting tool to make simple EPS, PDF, and SVG graphs

rust-rolling-stats

Rolling statistics calculations (min/max/mean/std_dev) over arbitrary floating point numbers based on Welford's Online Algorithm

bpf-benchmark

Userspace eBPF Runtime Benchmarking Test Suite and Results

protocol-verification-fa2023

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

gcache

High-performance header-only LRU cache library.

chain

ChainPaxos consensus algorithm for high throughput replication

dafny-syntax-tutorial

Short introduction to Dafny