namasikanam/BurningRIP

Stars
2
Language
C++
Created almost 5 years ago
Updated about 1 year ago

namasikanam/BurningRIP

namasikanam

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University

shareOI

CertiCore

An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University

raft-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

PurpleBase

A DBMS for course Introduction to Database Management System, 2019 Autumn, Tsinghua University

Arouq

A knowledge search engine, as course project of Fundamentals of Search Engine Technology, 2020 Spring, Tsinghua University

Solutions-of-Software-Foundations

Personal solutions of Software Foundations

Sentiment-Classification

Assignment 3 for Introduction to Artificial Intelligence, Tsinghua University

TomasuloSimulator

Course Project #2 for Computer Architecture, 2020 Spring, Tsinghua University

learn-badge

learn-action