Stanford course "Compilers" programming assignment
☆13Nov 26, 2014Updated 11 years ago
Alternatives and similar repositories for Cool-Compiler
Users that are interested in Cool-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:
- COOL Compiler☆11Mar 9, 2016Updated 10 years ago
- Coursera Course (Stanford CS143)☆24May 8, 2014Updated 12 years ago
- An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware☆26May 4, 2015Updated 11 years ago
- PUPLOOS计算机操作系统，用于操作系统入门教学☆10Apr 19, 2021Updated 5 years ago
- Unlikely Scheme: A small Scheme interpreter☆22May 28, 2011Updated 15 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆135Jun 23, 2019Updated 6 years ago
- ☆15Jul 24, 2024Updated last year
- Notes for Stanford online course Compilers by Prof. Alex Aiken☆10May 15, 2020Updated 6 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 6 years ago
- ☆25Dec 13, 2025Updated 5 months ago
- For this project, ROS nodes will be writing to implement core functionality of the autonomous vehicle system, including traffic light det…☆23Nov 22, 2022Updated 3 years ago
- My solutions to the programming assignments of the Stanford Compiler course.☆392Jan 5, 2015Updated 11 years ago
- Domain-specific framework for performance analysis of parallel programs☆25Mar 23, 2026Updated 2 months ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- 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.
- [EMNLP 2025] CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward☆69Aug 10, 2025Updated 9 months ago
- ☆24Dec 9, 2024Updated last year
- The documentation site for TDEP.☆28Aug 17, 2023Updated 2 years ago
- MindSpore implementations of Generative Adversarial Networks.☆23Aug 18, 2022Updated 3 years ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆63Sep 14, 2022Updated 3 years ago
- Modern Compiler Implementation in C☆39Jan 24, 2016Updated 10 years ago
- Hex-Rays MicrocodeExplorer☆29Oct 17, 2020Updated 5 years ago
- ECE 2595 Radar Signal Processing Projects☆60Apr 7, 2018Updated 8 years ago
- 实用工具：markdown写PPT、命令行自动演示工具、前端组件库等☆81Jan 20, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- libffi for the iPhone, including source code for simulator and device☆59Aug 30, 2009Updated 16 years ago
- A library combining solid quantum Monte Carlo and neural network.☆53Dec 10, 2024Updated last year
- go-core 是 go web 应用开发脚手架，从全局配置文件读取，zap日志组件始化，gorm数据库连接初始化，redis客户端初始化，http server启动等。最终实现简化流程、提高效率、统一规范。☆57Mar 8, 2022Updated 4 years ago
- Solution to MIT 6.828 Fall19, with lab report at https://blog.mky.moe/mit6828/menu/☆61Jul 31, 2021Updated 4 years ago
- 使用GPUImage2时常见的问题。常用滤镜组合的参考。☆65Jul 20, 2022Updated 3 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆104May 15, 2015Updated 11 years ago
- PKU advanced OS course project and notes based on Nachos.☆67Apr 9, 2021Updated 5 years ago
- ☆162May 7, 2022Updated 4 years ago
- Exercise solutions for programming books.☆429Apr 15, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- http://cocoahuke.com/2016/05/25/MachO%E6%96%87%E4%BB%B6%E7%9A%84%E7%AC%A6%E5%8F%B7%E6%B7%B7%E6%B7%86/☆53May 25, 2016Updated 10 years ago
- Experiment to attempt to build Apple's dyld tools.☆65May 29, 2020Updated 6 years ago
- a microservice tool☆14Nov 16, 2022Updated 3 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆226Jun 16, 2023Updated 2 years ago
- jos是mit6.828课程所用的操作系统，此处记录7个Lab的学习笔记。☆158Sep 14, 2018Updated 7 years ago
- LeetCode题解☆113Feb 3, 2021Updated 5 years ago
- a WKWebviewSDK that use UNURLProtocol offline web resource. and make a javascriptbridge☆112Mar 28, 2021Updated 5 years ago