Pinned Loading

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

   A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.

   Rust 152 32

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

   Tag the safety properties of the Rust standard library.

   Rust 22 6

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

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

   HTML 82 12

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

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

   Python 193 5

5. intro2cs intro2cs Public

   Course Webpage of FISF130020: Introduction to Computer Science

   6

6. course_safepl course_safepl Public

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

   C 35 3