namasikanam/raft-spin

Stars
8
Rank 2,099,232 (Top 42 %)
Language
License
MIT License
Created over 3 years ago
Updated over 3 years ago

namasikanam/raft-spin

namasikanam

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

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

shareOI

CertiCore

An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, 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

BurningRIP

Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, 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