decaf-lang / minidecaf-tests
The MiniDecaf test cases.
☆17Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for minidecaf-tests
- The MiniDecaf compilers.☆66Updated 3 years ago
- A summarize of my projects.☆46Updated 5 months ago
- Project template for Artix-7 based Thinpad board☆45Updated last year
- Recommended coding standard of Verilog and SystemVerilog.☆33Updated 3 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 years ago
- LLCL-MIPS is a superscalar MIPS processor, which supports MIPS Release 1 instructions and is capable of booting linux kernel. (第五届龙芯杯特等奖作…☆35Updated 2 years ago
- 计算机组成原理课程32位监控程序☆48Updated 4 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- 龙芯杯21个人赛作品☆34Updated 3 years ago
- The MiniDecaf tutorial documentation.☆94Updated 2 weeks ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆137Updated 3 years ago
- Various data structures implementation, in STL style☆11Updated 3 years ago
- rCore_tutorial_tests☆10Updated 3 years ago
- ☆22Updated 8 months ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago
- Yet another toy CPU.☆85Updated 11 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆55Updated last year
- a Quad-issue, Out-of-order Superscalar MIPS Processor Implemented in SystemVerilog☆45Updated 11 months ago
- Compiler development environment.☆14Updated 9 months ago
- Library for generating/parsing/optimizing Koopa IR.☆101Updated 8 months ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 2 years ago
- A database management system implemented in Rust from scratch.☆22Updated 3 years ago
- Backend & Frontend for JieLabs☆22Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆22Updated 2 months ago
- ☆20Updated last year
- Framework of pa code for THU compiler principle course.☆13Updated 4 years ago
- An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.☆12Updated 2 years ago
- 项目的主仓库☆22Updated 2 years ago
- ☆33Updated 5 years ago
- An emulator to run mips executable and to differentially validate noop.☆7Updated 2 years ago