AdUhTkJm / sysy-competitionView external linksLinks
The SysY compiler competition. A backup before official path gets set up.
☆47Aug 20, 2025Updated 5 months ago
Alternatives and similar repositories for sysy-competition
Users that are interested in sysy-competition are comparing it to the libraries listed below
Sorting:
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆21Jan 5, 2026Updated last month
- COMPASS CTF team wiki pages☆21May 19, 2024Updated last year
- SUSTech CS202 (Computer Organization) Project, with CPU hardware implemented in Chisel(Scala) and software cross-compiled from Rust.☆34Jun 16, 2023Updated 2 years ago
- Language for simplifying parameterized RTL design☆12Nov 6, 2024Updated last year
- Do integer arithmetic with fsub.☆35Feb 7, 2026Updated last week
- ☆14Aug 4, 2021Updated 4 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- YOLOv5 series model supports the latest TensorRT10.☆16Jul 24, 2024Updated last year
- ☆12Sep 12, 2024Updated last year
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆35Feb 6, 2026Updated last week
- 《人工智能法规、伦理与社会影响》书稿☆13Aug 28, 2021Updated 4 years ago
- Attachment and official writeup for D^3CTF 2025's Pwn challenge - d3kheap2☆16Jul 2, 2025Updated 7 months ago
- Mini Moonbit implementation from 摩卡猫猫☆15Dec 4, 2024Updated last year
- Renderer used for レイトレ合宿8☆12Sep 10, 2022Updated 3 years ago
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆14Jul 10, 2024Updated last year
- [DAC2024] A Holistic Functionalization Approach to Optimizing Imperative Tensor Programs in Deep Learning☆15Jan 13, 2024Updated 2 years ago
- Unofficial ShaderToy live viewer☆15Jul 30, 2025Updated 6 months ago
- An example of how to build a workaround for generic data type in C.☆10Jun 15, 2025Updated 7 months ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated 7 months ago
- ☆15Oct 23, 2023Updated 2 years ago
- A smart watch based on STM32F405RGT6.☆14Dec 27, 2023Updated 2 years ago
- 小彭老师推出 SyCL 2020 课程（施工中，日后会在直播中放出）☆15Sep 3, 2023Updated 2 years ago
- Java Project MineSweeper Source Code☆13Jun 2, 2021Updated 4 years ago
- ☆12Apr 19, 2023Updated 2 years ago
- ☆17May 18, 2022Updated 3 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆70Feb 3, 2025Updated last year
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated 10 months ago
- MeowTools - maybe some useful tools for CTFers / programmers☆20Nov 27, 2022Updated 3 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆63Feb 4, 2023Updated 3 years ago
- This repository contains IPs, Vitis kernels and software APIs that can be leveraged by Vitis users to build scale-out solutions on multip…☆23Apr 27, 2023Updated 2 years ago
- The official code repository for the FullFront benchmark☆26May 16, 2025Updated 8 months ago
- ☆20Mar 18, 2022Updated 3 years ago
- python exp of pwnable' problems☆18Feb 5, 2024Updated 2 years ago
- HITSZ 404 NOT FOUND NSCSCC22 project☆15Sep 8, 2022Updated 3 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years ago
- 基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…☆20Nov 26, 2025Updated 2 months ago
- Implement and train a Tiny LLM from scratch!☆18Jul 4, 2025Updated 7 months ago
- ☆24Nov 21, 2023Updated 2 years ago
- ☆83Sep 2, 2025Updated 5 months ago