A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable
☆19Jan 2, 2019Updated 7 years ago
Alternatives and similar repositories for MiniC-Compiler
Users that are interested in MiniC-Compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- Simple MIDAS Examples☆12Nov 25, 2018Updated 7 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 6 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- 4th RISC-V Workshop Tutorials☆13Jul 19, 2016Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆34Dec 3, 2021Updated 4 years ago
- ☆13Feb 21, 2026Updated 3 months ago
- Advanced Formal Language Theory (263-5352-00L; Frühjahr 2023)☆10Feb 21, 2023Updated 3 years ago
- Custom extensions to the RISC-V isa simulator for the UCB-BAR ESP project☆17Nov 27, 2022Updated 3 years ago
- A Basic C++ RISC-V Emulator☆19Dec 26, 2020Updated 5 years ago
- Original code base for On Pretraining Data Diversity for Self-Supervised Learning☆14Dec 30, 2024Updated last year
- ☆14Jul 21, 2015Updated 10 years ago
- Open test cases of PKU compiler course.☆28Dec 2, 2021Updated 4 years ago
- Proof-of-Concept CNN in Halide☆22Aug 4, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A toy programming language compiled to LLVM IR (<200 LoC, dumbed down for educational)☆28Nov 15, 2019Updated 6 years ago
- use two version gem5 to create spec2006 cpu simpoint & checkpoint☆16Oct 19, 2019Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- 基于某校选课网的验证码预处理与自动识别☆33Mar 12, 2021Updated 5 years ago
- Code Templates☆17Sep 5, 2017Updated 8 years ago
- Example for running IREE in a bare-metal Arm environment.☆42Feb 24, 2026Updated 2 months ago
- 🦞 Minimalist alternative to OpenClaw — lightweight personal AI assistant with multi-platform messaging support☆83Mar 28, 2026Updated last month
- Simple Hierarchical Count Sketch in Python☆21Jun 3, 2021Updated 4 years ago
- Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo☆11Feb 12, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Chinese Standard Mahjong Competition hosted by AILab in Peking University.☆120Apr 6, 2022Updated 4 years ago
- FOC driver board based on Qfplib-m3 and STM32F103C8T6 with algorithm. Use torque, velocity and angle control. Several applications based …☆21Aug 10, 2023Updated 2 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- ☆10Apr 24, 2022Updated 4 years ago
- Slides and codes☆20Aug 27, 2019Updated 6 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 2 months ago
- 北大选课网补退选阶段自动选课小工具☆745Jul 21, 2023Updated 2 years ago
- ☆24Apr 20, 2026Updated last month
- ☆10May 16, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Dec 8, 2021Updated 4 years ago
- ☆13Jun 6, 2024Updated last year
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- 遍历设备树二进制对象☆16Nov 22, 2025Updated 6 months ago
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- egraphs-good website☆18Mar 10, 2026Updated 2 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago