Pinned Loading

1. compiler-rs compiler-rs Public

   The PKU Compiler Course project in Rust with Koopa IR and RISC-V.

   Rust

2. Difny-VCG Difny-VCG Public

   A verification-condition (VC) generator for a simple imperative language called Difny, which is a blend of Dafny and IMP. This is a formal verification course project (UCSB) in OCaml.

   OCaml

3. linux-filesystem-on-fuse linux-filesystem-on-fuse Public

   Linux Filesystem based on FUSE

   C++

4. pintos pintos Public

   Forked from PKU-OS/pintos

   The pintos source distribution for PKU Operating System Course projects

   C

5. raft-2pc-database raft-2pc-database Public

   UCSB Advanced Distributed System Final Project

   C++ 1