dvirtz/GreenTiger external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dvirtz/GreenTiger

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dvirtz/GreenTiger)

Close

dvirtz / GreenTigerView on GitHubMore

• External links
• Readme badge

Solutions to exercises of Modern Compiler Implementation in C book

☆36Dec 7, 2019Updated 6 years ago

Alternatives and similar repositories for GreenTiger

Users that are interested in GreenTiger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• TURING132 / ZJU-OS

  View on GitHub
  2023-2024 zju os lab 浙江大学操作系统课程实验
  ☆17Feb 20, 2024Updated 2 years ago
• SVF-tools / WebSVF

  View on GitHub
  WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
  ☆20Jan 29, 2026Updated 5 months ago
• Guahao31 / 2024_CO

  View on GitHub
  浙江大学 2023-2024 春夏学期《计算机组成与设计》实验文档（刘海风老师班）
  ☆21Jun 1, 2026Updated last month
• yuaanlin / zju-se-project

  View on GitHub
  浙江大学 2022 春夏《软件工程》课程期末作业。要求 5 人为一小组负责一个模块，5 个模块组成一个完整的医疗管理系统。
  ☆21Jun 18, 2022Updated 4 years ago
• bigconvience / LLVM-Essentials-13

  View on GitHub
  learn javassist by example
  ☆30Dec 14, 2021Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• msyksphinz-self / minimal-diplomacy

  View on GitHub
  Example of Chisel3 Diplomacy
  ☆11Feb 23, 2022Updated 4 years ago
• vul337 / DDRace

  View on GitHub
  DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing
  ☆11Feb 28, 2023Updated 3 years ago
• ReAbout / ctf-writeup

  View on GitHub
  My CTF Writeup
  ☆28Nov 20, 2024Updated last year
• RiS3-Lab / p2im-unit_tests

  View on GitHub
  Unit test firmware evaluated in P2IM paper
  ☆13Jul 2, 2021Updated 5 years ago
• TonyCrane / mkdocs-heti-plugin

  View on GitHub
  A MkDocs plugin that uses heti to improve typesetting
  ☆13Sep 30, 2023Updated 2 years ago
• travmygit / TigerCompiler

  View on GitHub
  Implementation and Exercises in Modern Compiler Implementation in C.
  ☆55Oct 22, 2022Updated 3 years ago
• Xecades / zju-ical-py

  View on GitHub
  基于 zju-ical 项目的 Python 重构版本，使用爬虫获取课程/考试信息，使用 iCal 格式在 Windows / macOS / Linux / Android / Harmony OS / iOS / iPadOS / watchOS / Wear OS 上…
  ☆36Mar 1, 2026Updated 4 months ago
• cmu-snap / SurgeProtector

  View on GitHub
  Artifacts for the "SurgeProtector: Mitigating Temporal Algorithmic Complexity Attacks using Adversarial Scheduling" paper that appears in…
  ☆13Jun 24, 2022Updated 4 years ago
• WilliamX1 / tiger-compiler

  View on GitHub
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆57Feb 9, 2022Updated 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• soyoo / design_patterns_in_modern_cpp_zh_sample

  View on GitHub
  《Design Patterns in Modern C++》简体中文小样...
  ☆29May 18, 2022Updated 4 years ago
• tudo-aqua / z3-turnkey

  View on GitHub
  TurnKey artifact for Z3
  ☆44Oct 27, 2025Updated 8 months ago
• iscas-tis / CHA

  View on GitHub
  ☆18Jul 12, 2024Updated 2 years ago
• LLAA178 / LeetGPU-Guidebook

  View on GitHub
  一步步通关GPU编程
  ☆59Jun 4, 2026Updated last month
• eric-rotenberg / CVP

  View on GitHub
  Championship Value Prediction (CVP) simulator.
  ☆17Feb 17, 2021Updated 5 years ago
• edufriendchen / hertz-vue-admin

  View on GitHub
  使用字节跳动Golang微服务 HTTP 框架Hertz搭建的后台管理系统！
  ☆19Feb 5, 2023Updated 3 years ago
• wp-plugins / woocommerce-products-filter

  View on GitHub
  WordPress.org Plugin Mirror
  ☆11Nov 24, 2015Updated 10 years ago
• plusls / pwn-docker-environment

  View on GitHub
  Debug pwn in docker, no need for virtual machines
  ☆38Oct 10, 2025Updated 9 months ago
• TonyCrane / CraneCPU

  View on GitHub
  RISC-V SingleCycle/Pipeline CPU (lab of ZJU Computer System Series)
  ☆16Jul 6, 2023Updated 3 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• TonyCrane / TonyCrane

  View on GitHub
  ☆12Updated this week
• XindaW / SecretPatch

  View on GitHub
  The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…
  ☆14Aug 9, 2023Updated 2 years ago
• sola-st / wasm-type-prediction

  View on GitHub
  ☆11Mar 22, 2022Updated 4 years ago
• Jormii / QuadtreesUnity

  View on GitHub
  Quadtree implementation using Unity 2019.1.5f1 as visualization tool
  ☆11Jul 21, 2019Updated 7 years ago
• jianguda / afm4acs

  View on GitHub
  ☆15Oct 26, 2021Updated 4 years ago
• datasetu / vermillion

  View on GitHub
  A high-performance, scalable middleware for time-series and static-file data exchange.
  ☆14Jul 20, 2023Updated 3 years ago
• d-millar / ghidra_pcode_scripts

  View on GitHub
  a few Ghidra scripts for dumping PCode data
  ☆50May 21, 2019Updated 7 years ago
• stevedonovan / stevedonovan.github.com

  View on GitHub
  Project Pages
  ☆25Sep 23, 2018Updated 7 years ago
• kevin-w-du / courses

  View on GitHub
  Courses
  ☆17Apr 2, 2024Updated 2 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• viperproject / silicon

  View on GitHub
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆142Updated this week
• HorkyChen / MoreCPlusPlusIdioms

  View on GitHub
  Simplified Chinese translation of "More C++ Idioms"
  ☆13Dec 30, 2015Updated 10 years ago
• trugw / TrustedGateway

  View on GitHub
  Trusted Gateway: hardened router architecture with ARM TrustZone protected firewall, routing, and NIC modules.
  ☆15Jul 19, 2022Updated 4 years ago
• Celechron / Celechron

  View on GitHub
  服务于浙大学生的时间管理器
  ☆319Jul 17, 2026Updated last week
• CVC4 / CVC4-archived

  View on GitHub
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆23May 6, 2021Updated 5 years ago
• jotaviobiondo / llvm-register-allocator

  View on GitHub
  A graph coloring register allocator for LLVM.
  ☆11Jan 23, 2017Updated 9 years ago
• howjul / note

  View on GitHub
  howjul's notebook
  ☆14Nov 15, 2024Updated last year