An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
☆26May 4, 2015Updated 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:
- Stanford course "Compilers" programming assignment☆13Nov 26, 2014Updated 11 years ago
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆135Jun 23, 2019Updated 7 years ago
- a rubric driven prioritized replay rl algo to maximise continual learning☆16Oct 12, 2025Updated 10 months ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆26Dec 19, 2022Updated 3 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.
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Jun 7, 2010Updated 16 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- VisualVM is an All-in-One Java Troubleshooting Tool☆14Apr 27, 2017Updated 9 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Apr 2, 2020Updated 6 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Jul 19, 2024Updated 2 years ago
- Two-party Privacy-preserving Neural Network Training using Split Learning and Homomorphic Encryption (CKKS Scheme)☆13Sep 23, 2025Updated 11 months ago
- ☆10Dec 28, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆65Sep 14, 2022Updated 3 years ago
- ☆12May 24, 2022Updated 4 years ago
- Correct, optimized blending of color and alpha channels☆10Jan 30, 2016Updated 10 years ago
- An Eclipse plugin to integrate the Class File Reader (CFR) java decompiler☆11Jul 26, 2016Updated 10 years ago
- ☆19Mar 1, 2015Updated 11 years ago
- Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …☆17May 22, 2024Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆53Aug 24, 2018Updated 8 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆15Jan 27, 2019Updated 7 years ago
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated last year
- 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.
- A reading list for homomorphic encryption☆17Dec 28, 2022Updated 3 years ago
- Refer to a future commit sha1 in your commit message!☆19Apr 24, 2015Updated 11 years ago
- Multi-GPU acceleration for Fully Homomorphic Encryption☆24Jun 3, 2024Updated 2 years ago
- A nice, simple, zoomable 3D surface plot in Java/Swing, designed for reuse☆15Apr 16, 2015Updated 11 years ago
- 大三上部分代码（编译，数据挖掘，计算机图形学，数据库 课设）☆14Jun 3, 2018Updated 8 years ago
- Google Cloud Connectivity Tests☆11Oct 8, 2019Updated 6 years ago
- 裁员后的尝试，记录网赚项目，副业等☆22Feb 7, 2026Updated 7 months ago
- CUG软件工程综合课程实习☆11Sep 23, 2019Updated 6 years ago
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Sep 13, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Homomorphic Encryption-Driven Python Framework for Secure Cloud-Based Facial Recognition☆20May 13, 2026Updated 3 months ago
- Java bytecode generator for sound and precise partial program analysis☆25Jun 4, 2021Updated 5 years ago
- An API wrapper for the CSFloat API written in Python.☆11Jul 27, 2026Updated last month
- PostgreSQL Client for the JVM☆15Aug 2, 2018Updated 8 years ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆14Feb 26, 2024Updated 2 years ago
- ☆17Oct 20, 2015Updated 10 years ago
- An example Mesos framework in Java for development purposes.☆10Feb 28, 2016Updated 10 years ago