Alternatives and similar repositories for MahoShojo

Users that are interested in MahoShojo are comparing it to the libraries listed below

• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 4 months ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆138Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆58Updated 3 months ago
• nzh63 / syc
  Optimizing compiler for SysY (C subset)
  ☆42Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆192Updated 2 years ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆245Updated 4 years ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆60Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆121Updated 6 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 2 months ago
• No-SF-Work / ayame
  A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.
  ☆60Updated 3 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆44Updated 4 years ago
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆119Updated 2 years ago
• adsl-rg / adsl-rg.github.io
  ☆12Updated this week
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆28Updated 4 years ago
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• guch8017 / CminusfCompiler
  A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC
  ☆15Updated 3 years ago
• CnTransGroup / StaticSingleAssignmentBookChinese
  《Static Single Assignment Book》- 中文翻译
  ☆31Updated 2 years ago
• ustc-cs / COD-Resources-2017
  中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享
  ☆12Updated 5 years ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆62Updated 2 years ago
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆50Updated 3 years ago
• DaviesGit / SysY_compiler
  该编译器主要用来将SysY语言编译为arm汇编指令，并且对编译生成的代码进行优化。SysY 语言是 C 语言的一个子集。每个 SysY程序的源码存储在一个扩展名为 sy 的文件中。该文件中有且仅有一个名为 main的主函数定义,还可以包含若干全局变量声明、常量声明和其他函数…
  ☆68Updated 2 years ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆18Updated 5 months ago
• lcpu-club / hpcgame_1st_problems
  Repository for HPCGame 1st Problems.
  ☆62Updated last year
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 4 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆75Updated 2 years ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• sally-compiler / SallyCompiler
  Simple compiler that translates simpified C into ARMv7 assembly
  ☆18Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• HITSZ-CDP / cdp-tests
  《计算机设计与实践》测试框架
  ☆16Updated 2 years ago