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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 5 years ago
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 6 years ago
- Import Golang stack trace data into Elasticsearch☆28Mar 14, 2017Updated 9 years ago
- CS 704 course website - Principles of Programming Languages☆69Nov 24, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆50Feb 20, 2023Updated 3 years ago
- ☆72Jun 23, 2020Updated 6 years ago
- Yet another implementation of fork&exec and related functionality☆11Jul 10, 2026Updated last month
- Various data structures implementation, in STL style☆11Jul 26, 2021Updated 5 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- A Linux device driver that simulates interrupts☆14Jan 21, 2026Updated 6 months ago
- CS 341 course website☆31Apr 29, 2026Updated 3 months ago
- Add-ons to FreeRTOS☆13Oct 8, 2014Updated 11 years ago
- ACM SoCC 2019, "Coupling Decentralized Key-Value Stores with Erasure Coding"☆15May 22, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A multi-rotor flight control software by Networked Control Robotics Lab, NYCU☆10Dec 4, 2023Updated 2 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Mar 5, 2017Updated 9 years ago
- An exploration of tree and force-directed graph drawing algorithms.☆13Jun 27, 2018Updated 8 years ago
- An operation-log based approach for data replication.☆64Apr 27, 2023Updated 3 years ago
- Simulation of BLDC control algorithms☆11Jan 4, 2022Updated 4 years ago
- ☆22Mar 1, 2026Updated 5 months ago
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Apr 24, 2021Updated 5 years ago
- A multiplayer Snake Game with delicate graphic, fully armed game sound, local ranking system, and a cute AI snake☆12Apr 9, 2026Updated 4 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Dec 8, 2021Updated 4 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆523Apr 16, 2024Updated 2 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 3 weeks ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- 在 FreeRTOS 上使用 POSIX 接口，使用POSIX接口作为嵌入式软件隔离层，以STM32为例☆15Jun 17, 2026Updated last month
- 各类内核的设计思路☆19May 19, 2021Updated 5 years ago
- 🌎 Chord in golang☆12Jul 17, 2019Updated 7 years ago
- An asynchronous implementation of VNC client side protocol☆46Feb 25, 2026Updated 5 months ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Sep 5, 2019Updated 6 years ago
- DEPRECATED☆12Jul 21, 2017Updated 9 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago
- 台大机器学习基石-林轩田 习题解答☆10Jan 27, 2021Updated 5 years ago
- Cicada SIGMOD 2017 evaluation☆17Sep 19, 2017Updated 8 years ago