Alternatives and similar repositories for f19-assignments

Users that are interested in f19-assignments are comparing it to the libraries listed below

• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• skyzh / optimizer-lessons
  Code for "Lessons Learned from Building a Query Optimizer" blog series
  ☆47Updated 4 months ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆36Updated last month
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated 10 months ago
• MashPlant / db
  A database management system implemented in Rust from scratch.
  ☆22Updated 3 years ago
• little-squirrel-cute / most
  Codes for MO's Trading
  ☆15Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• jiegec / cs140e
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆75Updated 5 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 3 years ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• xuyifangreeneyes / mxcompiler
  Craft a toy compiler
  ☆10Updated 5 years ago
• adityabhandari1992 / cs346-redbase
  CS 346 RedBase Project (Stanford)
  ☆37Updated 10 years ago
• xxg1413 / CS110L
  Stanford CS 110L : Safety in Systems Programming
  ☆12Updated 4 years ago
• Kuberboat / Kuberboat
  A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.
  ☆17Updated 3 years ago
• GCYYfun / DailySchedule
  《日常》
  ☆18Updated 3 years ago
• ixxchan / nb
  naïve blockchain in Rust
  ☆10Updated 4 years ago
• siriusdemon / P523-Rust
  P523 Course in Rust
  ☆62Updated 3 years ago
• thu-db / dbs-tutorial
  Tutorial for assignment of Introduction to Database System
  ☆11Updated 5 months ago
• Jaic1 / xv6-riscv-rust
  ☆74Updated 3 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆121Updated 4 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• BugenZhao / Raft
  🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.
  ☆30Updated 3 years ago
• pku-minic / first-step-rs
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Updated 2 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago