Engineev / ravelLinks
A RISC-V simulator
☆38Updated 2 years ago
Alternatives and similar repositories for ravel
Users that are interested in ravel are comparing it to the libraries listed below
Sorting:
- ☆17Updated 4 years ago
- A compiler for course Compiler 2019☆16Updated 5 years ago
- http://spider.oscardhc.com☆12Updated 5 years ago
- ☆78Updated last year
- MS108 Course Project, SJTU ACM Class.☆32Updated 2 years ago
- Yx: a language only for demo use☆17Updated 4 years ago
- OS for fun☆11Updated 4 years ago
- 🔪Mx-Star Compiler Project☆14Updated 5 years ago
- ☆19Updated 5 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆146Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated 10 months ago
- Project template for Artix-7 based Thinpad board☆52Updated 2 months ago
- Python Script to Open SJTU Dormitory Smart Lock☆10Updated 3 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- The offline version of acm-compiler-judge☆13Updated 6 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Updated 10 months ago
- Open test cases of PKU compiler course.☆27Updated 4 years ago
- The MiniDecaf test cases.☆18Updated 6 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆62Updated 2 years ago
- ☆23Updated last year
- A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable☆18Updated 6 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆245Updated 4 years ago
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆139Updated last month
- 新燕园人的私人班车助手(非官方)。☆67Updated 4 months ago
- Compiler Course at USTC in 2018 Fall☆23Updated 6 years ago
- A fast compiler for SysY code☆19Updated 3 years ago
- An implementation of the Raft consensus protocol.☆14Updated 7 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 4 years ago
- The MOSAIC Operating Systems Model and Checker☆203Updated 2 years ago
- Lecture notes at SJTU☆40Updated 4 years ago