Milky2018 / MoonBit-Code-JAM-2024Links
Tankle Adventure
☆16Updated last year
Alternatives and similar repositories for MoonBit-Code-JAM-2024
Users that are interested in MoonBit-Code-JAM-2024 are comparing it to the libraries listed below
Sorting:
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆68Updated 7 months ago
- The SysY compiler competition. A backup before official path gets set up.☆47Updated 5 months ago
- A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.☆221Updated last year
- Library for generating/parsing/optimizing Koopa IR.☆145Updated last month
- ☆62Updated 8 months ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated last year
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆156Updated 3 weeks ago
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆55Updated 4 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
- A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture☆516Updated last year
- Most influential papers in programming languages☆58Updated last year
- A verified polyhedral scheduling validator in Coq.☆23Updated last year
- ☆67Updated last year
- ☆13Updated 3 years ago
- Write your own operating system with Rust!☆24Updated 3 weeks ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Updated last year
- Hands-On Practical MLIR Tutorial☆716Updated 2 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- Documentation for YatCPU☆54Updated 2 years ago
- ChocoPy LLVM Repo☆79Updated 3 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- The MOSAIC Operating Systems Model and Checker☆208Updated 2 years ago
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆130Updated 9 years ago
- Yet another toy CPU.☆92Updated 2 years ago
- A RISC-V simulator☆38Updated 2 years ago
- This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…☆29Updated last month
- ☆235Updated last month
- A Progam-Behavior-Guided Far Memory System☆35Updated 2 years ago
- 🔪Mx-Star Compiler Project☆14Updated 5 years ago
- A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.☆12Updated 2 years ago