Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
โ125Jul 1, 2020Updated 5 years ago
Alternatives and similar repositories for cs3210-rustos-public
Users that are interested in cs3210-rustos-public are comparing it to the libraries listed below
Sorting:
- โ14Mar 31, 2018Updated 7 years ago
- ๐ป RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visuโฆโ208Jul 2, 2020Updated 5 years ago
- โ14Jan 12, 2018Updated 8 years ago
- โต A distributed key-value store based on Raft. (WIP)โ43May 1, 2020Updated 5 years ago
- A Rust based Multicore OS developed by UltraTeam, HITsz. Currently updated on https://gitee.com/LoanCold/ultraos_backupโ47May 26, 2024Updated last year
- CS140e without Rust is not CS140e. Sergio Benitez plz come back.โ76Apr 1, 2020Updated 5 years ago
- ๅ็ฑปๅ ๆ ธ็่ฎพ่ฎกๆ่ทฏโ19May 19, 2021Updated 4 years ago
- a paper templateโ59Aug 4, 2025Updated 7 months ago
- Experimental lock-free structures in Rust.โ21May 10, 2022Updated 3 years ago
- ๐ฆ๐ฆ.๐ฆโ28Sep 24, 2023Updated 2 years ago
- Samsung CTF 2018 Problems. https://research.samsung.com/sctf2018โ20Jul 6, 2018Updated 7 years ago
- LaTeX Template for Fudan University School of Computer Science 2024โ11May 21, 2024Updated last year
- โ13Oct 6, 2022Updated 3 years ago
- Container Registry Synchronization made easy and fastโ12Oct 7, 2021Updated 4 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Researchโ17Updated this week
- Quick & Dirty cli to process mysql dumpsโ10Sep 30, 2022Updated 3 years ago
- โ50Sep 15, 2022Updated 3 years ago
- How to build your own policy engineโ14Jul 24, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!โ13Jun 14, 2023Updated 2 years ago
- naรฏve blockchain in Rustโ10Nov 13, 2020Updated 5 years ago
- 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
- Explore JIT in TiDBโ27Jan 8, 2022Updated 4 years ago
- ๐ฆ๏ธ Operating System in 100% Pure Rustโ102May 8, 2021Updated 4 years ago
- C++ interfaces for RDMA accessโ83Mar 2, 2026Updated last week
- Presentations, meetups and talks about Databendโ72May 8, 2022Updated 3 years ago
- CMU's attack labโ13Sep 7, 2023Updated 2 years ago
- High Performance Key-Value Storeโ51Updated this week
- writeup of some ctf challsโ11Apr 20, 2025Updated 10 months ago
- โ10Jul 10, 2022Updated 3 years ago
- SystemVerilog implemention of the TAGE branch predictorโ13May 26, 2021Updated 4 years ago
- TPCH benchmark tool for databendโ11Nov 15, 2022Updated 3 years ago
- HeliosXCore is a Superscalar Out-of-order RISC-V Processor Core.โ10Mar 8, 2024Updated 2 years ago
- a Quad-issue, Out-of-order Superscalar MIPS Processor Implemented in SystemVerilogโ50Dec 11, 2023Updated 2 years ago
- Run Github Actions workflows locally or on a custom backendโ17Mar 17, 2025Updated 11 months ago
- binary serialization formatโ12Dec 31, 2020Updated 5 years ago
- Dependently typed lambda calculus - A Simple Proof Assistantโ12Sep 3, 2020Updated 5 years ago
- The Databend plugin for dbt (data build tool)โ12Mar 17, 2023Updated 2 years ago
- IDA Pro plugin to view Exportsโ17Sep 21, 2018Updated 7 years ago
- Vagrant files to bootstrap VM for CTFsโ11Aug 21, 2016Updated 9 years ago