Assignments for COMP SCI 839 from UW-Madison in Fall 2023
☆12Nov 30, 2023Updated 2 years ago
Alternatives and similar repositories for protocol-verification-fa2023
Users that are interested in protocol-verification-fa2023 are comparing it to the libraries listed below
Sorting:
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 9 months ago
- A pure userspace filesystem developed on SPDK's block device layer, optimized for high-speed storage devices (NVMe/PMEM) in high-concurre…☆26Oct 20, 2025Updated 4 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- ☆16Jan 31, 2026Updated last month
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆18Mar 5, 2023Updated 2 years ago
- Seasoning for shells.☆23May 9, 2025Updated 9 months ago
- Rolling statistics calculations (min/max/mean/std_dev) over arbitrary floating point numbers based on Welford's Online Algorithm☆22Oct 3, 2025Updated 5 months ago
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- ☆23Feb 23, 2026Updated last week
- Benchmark for Intel Optane SSD, towards an unwritten contract of Intel Optane SSD☆21Jul 5, 2019Updated 6 years ago
- FusionFS: Fusing I/O Operations using CISCOps in Firmware File Systems, FAST '22☆19Apr 10, 2022Updated 3 years ago
- Knowledge management for the impatient☆26Mar 12, 2025Updated 11 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- ☆28Feb 23, 2020Updated 6 years ago
- Zplot: a Python-based plotting tool to make simple EPS, PDF, and SVG graphs☆26Oct 21, 2020Updated 5 years ago
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆87Sep 25, 2024Updated last year
- Crawler used to crawl papers☆26Oct 24, 2018Updated 7 years ago
- Financial literacy for computer science students☆32Mar 4, 2024Updated last year
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆12May 13, 2019Updated 6 years ago
- Git mirror of ImageStack☆11Aug 15, 2012Updated 13 years ago
- CS6868: Concurrent Programming☆32Updated this week
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- ☆12Jan 12, 2024Updated 2 years ago
- ☆16Apr 8, 2022Updated 3 years ago
- A vim plugin used to auto insert code comment header block☆16Apr 4, 2013Updated 12 years ago
- OpenSSL binding for Crystal language☆10Mar 1, 2019Updated 7 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- ☆16May 8, 2020Updated 5 years ago
- UW-Madison Course Monitor☆10Oct 4, 2019Updated 6 years ago
- Mechanized baselines for various type system features☆18Updated this week
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week
- ☆13May 10, 2024Updated last year
- ☆11Nov 26, 2021Updated 4 years ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- The source for my simple thrift tutorial☆13Nov 5, 2015Updated 10 years ago
- ☆10Oct 7, 2021Updated 4 years ago
- Official implementation of paper "Self-Supervised Noise Modeling and Sparsity Guided Cryo-ET Image Denoising".☆16Sep 10, 2024Updated last year
- ☆10Mar 4, 2023Updated 2 years ago
- Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo☆11Feb 12, 2023Updated 3 years ago