Xidian-ICTT-Guangzhou
西安电子科技大学（计科院 ICTT Lab + 广研院 高可信软件工程技术lab）
Popular repositories Loading
-
-
Xidian-ICTT-GZ.github.io
Xidian-ICTT-GZ.github.io PublicThe Homepage of the ICTT Lab-Guangzhou, Xidian University
HTML
Repositories
Showing 9 of 9 repositories
- MCIBench Public
MCIBench: Benchmarking Multilingual Code Intelligence of Large Language Models across Programming Languages
Xidian-ICTT-GZ/MCIBench’s past year of commit activity - MshBench Public
Multilingual Specifications for Heap-Manipulating Programs — A Benchmark for Deductive Verification with VeriFast
Xidian-ICTT-GZ/MshBench’s past year of commit activity - DtTsa Public
Xidian-ICTT-GZ/DtTsa’s past year of commit activity - AutoSpec Public
Xidian-ICTT-GZ/AutoSpec’s past year of commit activity - claude-code Public Forked from ultraworkers/claw-code
Claude Code Snapshot for Research. All original source code is the property of Anthropic.
Xidian-ICTT-GZ/claude-code’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…