Pinned Loading

1. safer-rust/RAPx safer-rust/RAPx Public

   A static analysis tool for Rust programs.

   Rust 144 29

2. safer-rust/safety-tags safer-rust/safety-tags Public

   Tag the safety properties of the Rust standard library.

   Rust 18 5

3. tea-compiler/tea-compiler.github.io tea-compiler/tea-compiler.github.io Public

   复旦大学 编译原理 课程主页

   HTML 76 13

4. aisoft-course/aisoft-course.github.io aisoft-course/aisoft-course.github.io Public

   人工智能的软件基础课程主页（复旦大学通识课程）

   Python 31

5. intro2cs intro2cs Public

   Course Webpage of FISF130020: Introduction to Computer Science

   4

6. course_safepl course_safepl Public

   Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University

   C 35 3