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.
Sorting:
- 2023-2024 zju os lab 浙江大学操作系统课程实验☆17Feb 20, 2024Updated 2 years ago
- WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF☆19Jan 29, 2026Updated 3 months ago
- learn javassist by example☆30Dec 14, 2021Updated 4 years ago
- My solution to Zhejiang University 2022 fall OS (Operating System) labs☆12Nov 11, 2022Updated 3 years ago
- 浙江大学 2022 春夏《软件工程》课程期末作业。要求 5 人为一小组负责一个模块，5 个模块组成一个完整的医疗管理系统。☆21Jun 18, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple brainfuck compiler writen with LLVM☆11Dec 10, 2019Updated 6 years ago
- 基于 zju-ical 项目的 Python 重构版本，使用爬虫获取课程/考试信息，使用 iCal 格式在 Windows / macOS / Linux / Android / Harmony OS / iOS / iPadOS / watchOS / Wear OS 上…☆36Mar 1, 2026Updated 2 months ago
- Cross Site Scripting Cheat sheet.☆12Apr 3, 2021Updated 5 years ago
- My TechStack written in MkDocs☆22Mar 11, 2026Updated last month
- DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing☆12Feb 28, 2023Updated 3 years ago
- Unit test firmware evaluated in P2IM paper☆12Jul 2, 2021Updated 4 years ago
- ☆12Feb 4, 2022Updated 4 years ago
- My CTF Writeup☆28Nov 20, 2024Updated last year
- Reverse CTF writeups including challenges and solutions☆16Jun 27, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Standford CS144 Lab (Sponge 版本)，已全部完成☆100Jul 4, 2024Updated last year
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Jul 9, 2023Updated 2 years ago
- A MkDocs plugin that uses heti to improve typesetting☆13Sep 30, 2023Updated 2 years ago
- 逢甲資訊系統自動化程式(含搶課程式、MyFCU)☆11Feb 1, 2024Updated 2 years ago
- RPCNIC: A High-Performance and Reconfigurable PCIe-attached RPC Accelerator [HPCA2025]☆14Dec 9, 2024Updated last year
- Artifacts for the "SurgeProtector: Mitigating Temporal Algorithmic Complexity Attacks using Adversarial Scheduling" paper that appears in…☆13Jun 24, 2022Updated 3 years ago
- ZJU-2019-Computer Network☆13Aug 3, 2020Updated 5 years ago
- An automated static taint analysis tool for the Lua web framework.☆24Sep 27, 2024Updated last year
- 《Design Patterns in Modern C++》简体中文小样...☆28May 18, 2022Updated 3 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.
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆56Feb 9, 2022Updated 4 years ago
- TurnKey artifact for Z3☆43Oct 27, 2025Updated 6 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆135Updated this week
- ☆10Dec 13, 2024Updated last year
- 基于vuepress的静态个人简历☆11Mar 24, 2026Updated last month
- Debug pwn in docker, no need for virtual machines☆38Oct 10, 2025Updated 6 months ago
- Lightning-fast LLM inference engine - Built with Rust (inspiration from https://github.com/GeeeekExplorer/nano-vllm)☆35Jun 24, 2025Updated 10 months ago
- 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
- ☆12Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RISC-V SingleCycle/Pipeline CPU (lab of ZJU Computer System Series)☆16Jul 6, 2023Updated 2 years ago
- Implemented large scale 3d mesh generation in parallel using CUDA.☆13May 6, 2019Updated 6 years ago
- Artifacts for the "BBQ: A Fast and Scalable Integer Priority Queue for Hardware Packet Scheduling" paper that appears in NSDI '24.☆22Apr 23, 2024Updated 2 years ago
- Trusted Gateway: hardened router architecture with ARM TrustZone protected firewall, routing, and NIC modules.☆14Jul 19, 2022Updated 3 years ago
- Computer Graphics assignments for undergraduates☆57Mar 30, 2026Updated last month
- ☆19Feb 12, 2025Updated last year
- Simplified Chinese translation of "More C++ Idioms"☆12Dec 30, 2015Updated 10 years ago