-
loop_detection Public
SystemVerilog testcases for testing loop detection
SystemVerilog UpdatedFeb 3, 2026 -
-
-
-
etoy-mlir Public
etoyc: End2End or JIT compiler based on Enhanced Toy Dialect
C++ Apache License 2.0 UpdatedNov 10, 2025 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedNov 10, 2025 -
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedNov 2, 2025 -
-
2025s-rcore-Leakbox258 Public
Forked from LearningOS/2025s-rcore-Leakbox258os-rcore-classroom-2025s-rcore-rCore-Camp-Code-2025S created by GitHub Classroom
UpdatedSep 7, 2025 -
rcore-rustlings-2025-Leakbox258 Public
Forked from uestc-workshop-os-camp/rcore-rustlings-2025-Leakbox258uestc-workshop-os-camp-2025-rcore-rustlings-rustling-25S-template created by GitHub Classroom
Rust MIT License UpdatedSep 5, 2025 -
-
rotvi Public
A vi like terminal-based text editor on Linux with syntax highlight on CXX (currently)
-
-
OpenWrt-flowtraffic Public
A flowtraffic development experiment on OpenWrt of 2025-spring Computer Networkling in UESTC
C UpdatedJun 3, 2025
{{ message }}