sslab-gatech/cs3210-rustos-public external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sslab-gatech/cs3210-rustos-public

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sslab-gatech/cs3210-rustos-public)

Close

sslab-gatech / cs3210-rustos-publicView on GitHubMore

• External links
• Readme badge

Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"

☆126Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lsrcz / mini-prover

  View on GitHub
  Term project for TaPL. A mini coq-like proof assistant.
  ☆17Jun 17, 2018Updated 8 years ago
• skyzh / raft-kvs

  View on GitHub
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆45May 1, 2020Updated 6 years ago
• compsec-snu / petal

  View on GitHub
  PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)
  ☆18Nov 4, 2024Updated last year
• tsgates / die

  View on GitHub
  a paper template
  ☆59Aug 4, 2025Updated 10 months ago
• HUST-OS / design-pattern-notes

  View on GitHub
  各类内核的设计思路
  ☆19May 19, 2021Updated 5 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• singularity-s0 / fducs2024-thesis-template

  View on GitHub
  LaTeX Template for Fudan University School of Computer Science 2024
  ☆12May 21, 2024Updated 2 years ago
• gymgit / kernel-exploit-playground

  View on GitHub
  ☆14Jan 12, 2018Updated 8 years ago
• bkushigian / cornelius

  View on GitHub
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Jun 14, 2023Updated 3 years ago
• flaneur2020 / llama2.rs

  View on GitHub
  🦙🦙.🦀
  ☆28Sep 24, 2023Updated 2 years ago
• skyzh / RISCV-Simulator

  View on GitHub
  💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…
  ☆211Jul 2, 2020Updated 5 years ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• vijay03 / cs360v-f20

  View on GitHub
  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
• sslab-gatech / autofz

  View on GitHub
  autofz: Automated Fuzzer Composition at Runtime
  ☆85Sep 13, 2023Updated 2 years ago
• sslab-gatech / ucognito

  View on GitHub
  ☆12Nov 2, 2015Updated 10 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• jiegec / cs140e

  View on GitHub
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆76Apr 1, 2020Updated 6 years ago
• sslab-gatech / platpal

  View on GitHub
  ☆13Jan 12, 2018Updated 8 years ago
• kitaisreal / hash-table-aggregation-benchmark

  View on GitHub
  ☆12Mar 14, 2024Updated 2 years ago
• oscardhc / Compiler-Spider

  View on GitHub
  http://spider.oscardhc.com
  ☆12Jul 9, 2020Updated 5 years ago
• liuzix / ticompile

  View on GitHub
  Explore JIT in TiDB
  ☆27Jan 8, 2022Updated 4 years ago
• Freax13 / test-kernel

  View on GitHub
  ☆13Oct 6, 2022Updated 3 years ago
• ruaaadb / lock-free

  View on GitHub
  Experimental lock-free structures in Rust.
  ☆21May 10, 2022Updated 4 years ago
• iaGuoZhi / system-study-resources

  View on GitHub
  Study materials collected while studying
  ☆51Apr 16, 2022Updated 4 years ago
• datafuse-extras / sqlparser-rs

  View on GitHub
  Extensible SQL Lexer and Parser for Rust
  ☆19Jul 15, 2022Updated 3 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• S3mprGumb1 / whodunnit

  View on GitHub
  A PS forensics tool for Scraping, Filtering and Exporting Windows Event Logs
  ☆14Sep 4, 2019Updated 6 years ago
• Engineev / compiler-offline-judge

  View on GitHub
  The offline version of acm-compiler-judge
  ☆13May 16, 2019Updated 7 years ago
• zanmato1984 / cura

  View on GitHub
  CURA - CUDA Relational Algebra
  ☆31Jan 30, 2023Updated 3 years ago
• luong-komorebi / Attack-Lab

  View on GitHub
  CMU's attack lab
  ☆13Sep 7, 2023Updated 2 years ago
• herbie-fp / regraph

  View on GitHub
  Racket Equivalence Graph Library
  ☆19May 24, 2022Updated 4 years ago
• howardlau1999 / rdmapp

  View on GitHub
  C++ interfaces for RDMA access
  ☆83May 11, 2026Updated last month
• IsaacWoods / teensy_kbd

  View on GitHub
  A Rust firmware for mechanical keyboards using the Teensy 3.2
  ☆11Dec 15, 2018Updated 7 years ago
• ShisoftResearch / Nebuchadnezzar

  View on GitHub
  High Performance Key-Value Store
  ☆50May 7, 2026Updated last month
• Engineev / mocker

  View on GitHub
  A compiler for course Compiler 2019
  ☆16Jan 9, 2020Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• rustcc / GEFS

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• bIgBV / xv6-virtio

  View on GitHub
  A virtio layer for xv6
  ☆12Apr 16, 2019Updated 7 years ago
• yrp604 / bdump

  View on GitHub
  ☆52Sep 15, 2022Updated 3 years ago
• kaist-cp / cs431

  View on GitHub
  ☆1,486Aug 8, 2025Updated 10 months ago
• jacobstanley / ssa-anf

  View on GitHub
  SSA vs ANF
  ☆48Jul 20, 2015Updated 10 years ago
• scyphus / aos

  View on GitHub
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Aug 30, 2015Updated 10 years ago
• kaishack / sctf2018_qual

  View on GitHub
  Samsung CTF 2018 Problems. https://research.samsung.com/sctf2018
  ☆20Jul 6, 2018Updated 7 years ago