system 2019 project
☆14May 1, 2020Updated 6 years ago
Alternatives and similar repositories for PintOS
Users that are interested in PintOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- os project2☆17Dec 22, 2018Updated 7 years ago
- Data and code for Natural Language Inference with Multiple Premises☆13May 15, 2019Updated 7 years ago
- A RISC-V simulator☆37Aug 27, 2023Updated 3 years ago
- The final project of PKU course Compilers: Principles in Spring 2023, a SysY to RISC-V compiler. Document:：https://pku-minic.github.io/on…☆21Jun 15, 2023Updated 3 years ago
- Pintos Operating Systems Project 2 (CIS 520).☆14May 9, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Craft a toy compiler☆10Aug 21, 2019Updated 7 years ago
- Official implementation for "SPIRIT: Style-guided Patch Interaction for Fashion Image Retrieval with Text Feedback"☆16Oct 27, 2025Updated 11 months ago
- Toy RISC-V emulator☆16Oct 10, 2017Updated 9 years ago
- Demonstrates how to formulate the n-queens problem as a QUBO, which we then solve using Leap’s hybrid solvers.☆10Mar 3, 2026Updated 7 months ago
- 🔪Mx-Star Compiler Project☆14May 16, 2020Updated 6 years ago
- pkuthesis：信科 2025 年本科生毕业论文 LaTeX 文档类☆21Mar 29, 2026Updated 6 months ago
- Write your own operating system with Rust!☆35Mar 23, 2026Updated 6 months ago
- SJTU SE3331 CSE (a distributed file system with Raft and MapReduce)☆10Jan 14, 2024Updated 2 years ago
- Pintos Operating System Implementation for Virtual Memory☆14Jun 27, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The pintos source distribution for JHU CS 318/418 projects☆28Feb 6, 2023Updated 3 years ago
- miniplc0 指导书☆22Oct 20, 2020Updated 5 years ago
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆10Feb 18, 2018Updated 8 years ago
- The pintos source distribution for PKU Operating System Course projects☆70Feb 17, 2025Updated last year
- Learning resources for MIT6.1600: Foundations of Computer Security.☆16Apr 13, 2024Updated 2 years ago
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 5 years ago
- Official implementation for "Real20M: A Large-scale E-commerce Dataset for Cross-domain Retrieval"☆25Oct 27, 2025Updated 11 months ago
- The code has been implemented in Carla Simulator with the help of Double DQN to train an agent how to drive autonomously using different …☆16Aug 20, 2019Updated 7 years ago
- Pintos OS from Stanford☆130Apr 14, 2011Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Real-world video deblurring by synthesizing realistic blurs in RAW space☆13Jun 21, 2023Updated 3 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- UnrealCV for image rendering from 3D model☆14May 21, 2020Updated 6 years ago
- A safe and efficient autonomous driving algorithm. Winner of the 2019 DriveML Huawei Autonomous Vehicles Challenge. Built using RLLib and…☆18Jan 24, 2020Updated 6 years ago
- Hybrid Memory Cube Simulation & Research Infrastructure☆18Jun 9, 2025Updated last year
- CasHMC: A Cycle-accurate Simulator for Hybrid Memory Cube☆24Aug 10, 2018Updated 8 years ago
- 简易TCP/IP协议栈，支持TCP、UDP，支持DHCP动态获取IP，支持keep_alive等☆24Mar 30, 2018Updated 8 years ago
- This repository contains an extended version of SMCSim (originally by Erfan Azarkhish), used for near-data-processing research by Jiwon C…☆14Nov 24, 2020Updated 5 years ago
- A simulated filesystem written in C++ that operates in an instructor-provided shell, written for an Operating Systems class in Fall 2017.☆13Jul 8, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆21Aug 23, 2021Updated 5 years ago
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- 北航 2020 年软院编译原理相关资料与规划 | Docs and planning on Compilers class in 2020 for College of Software of BUAA☆34Oct 6, 2021Updated 5 years ago
- Structural Reasoning About Program Correctness in Natural Language☆22Jun 23, 2025Updated last year
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 years ago
- A Homework for Computer Architecture at SJTU☆14Jan 4, 2020Updated 6 years ago
- CLI tool to manage Samba-style xdr-formatted NFSv41 ACLs☆15Oct 2, 2026Updated 2 weeks ago