Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
☆41Dec 10, 2019Updated 6 years ago
Alternatives and similar repositories for cs378-f19
Users that are interested in cs378-f19 are comparing it to the libraries listed below
Sorting:
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Nov 25, 2020Updated 5 years ago
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 5 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Import Golang stack trace data into Elasticsearch☆27Mar 14, 2017Updated 8 years ago
- Real time and offline time series analysis with Spark, Spark Streaming and Storm☆21Oct 20, 2020Updated 5 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆49Feb 20, 2023Updated 3 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Mar 5, 2017Updated 9 years ago
- A collection of common Go packages that Voicera uses in microservices☆37Dec 23, 2018Updated 7 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Nov 12, 2013Updated 12 years ago
- Robin hood bloom filter (C library)☆37Jul 14, 2024Updated last year
- ☆29Aug 4, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A Postgres migrations tool with an emphasis on safety and transparency☆10Jun 1, 2021Updated 4 years ago
- Mini Callcenter Simulator simulates a call center and takes into account many parameters not covered by the Erlang C formula.☆12Jan 23, 2026Updated last month
- SAYEH cpu-memory basic computer☆11Jul 12, 2017Updated 8 years ago
- xmservice☆10May 28, 2020Updated 5 years ago
- #7DaysOfCode Challenge. Next step #100DaysOfCode☆11May 1, 2017Updated 8 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- hypercraft is a VMM library written in Rust.☆54Oct 20, 2024Updated last year
- RPi + soil sensors to track when my plants need watering☆12Oct 6, 2024Updated last year
- Second edition for the cron.weekly generator: gets all bookmarks from the Pocket API and structures the markdown.☆10Apr 24, 2020Updated 5 years ago
- Python client code for Apache HBase 1.x using Kerberos authentication over SASL☆11Jan 9, 2017Updated 9 years ago
- A bot to send notifications of swiggy coupons.☆10Jun 1, 2021Updated 4 years ago
- My docker dev tools image, usable anywhere where docker is☆10Feb 23, 2015Updated 11 years ago
- ☆11Jul 10, 2025Updated 7 months ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- Quicksilver superpage management system☆11May 14, 2021Updated 4 years ago
- Port of dwmstatus to Rust☆11Oct 18, 2020Updated 5 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- WebRTC network connector for Yjs/Yrs update gossips☆13Jan 20, 2024Updated 2 years ago
- ☆11Feb 25, 2023Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Kuberetes etcd network checkpointer☆11Jul 20, 2017Updated 8 years ago
- ☆10Mar 22, 2020Updated 5 years ago
- Extractor for Apple Aperture™ libraries. - Written in Rust☆14Jan 11, 2026Updated last month
- simple consistent hashing implementation☆56May 17, 2018Updated 7 years ago
- ☆10Oct 27, 2017Updated 8 years ago