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:
- Compiler for the COOL programming language targeting the MIPS 32-bit architecture, in Python 3☆40May 7, 2026Updated last month
- Classroom Object-Oriented Language Compiler☆30Apr 4, 2015Updated 11 years ago
- Compile Rust into PTX☆14Jan 1, 2020Updated 6 years ago
- ☆13Mar 2, 2025Updated last year
- AP1400-2☆10Aug 5, 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.
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- Postion-based Fluid Simulation☆13Aug 17, 2020Updated 5 years ago
- Speeding up and debittering Caffe by adding Halide☆18May 12, 2015Updated 11 years ago
- Programming assignments for Introduction to Recommendation Systems course on Coursera.org☆15Jun 7, 2021Updated 5 years ago
- Code for articles on blog.aicry.com☆10Feb 28, 2015Updated 11 years ago
- A C++ expression -> x86 JIT☆18Mar 20, 2017Updated 9 years ago
- ☆13Jan 24, 2017Updated 9 years ago
- A Constraint Solver☆12Dec 4, 2015Updated 10 years ago
- An MCP server for octomind tools, resources and prompts☆22Feb 26, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Add the encrypted flag to an APK file☆23Dec 4, 2013Updated 12 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- 上过的公开课的作业，源代码的注释版本，一个大杂烩。☆122May 4, 2018Updated 8 years ago
- ScalaIO 2014 Workshop☆25Oct 23, 2014Updated 11 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆25Dec 19, 2022Updated 3 years ago
- 限流☆14May 2, 2016Updated 10 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
- CMU 15-440/640 Distributed Systems☆15Oct 2, 2014Updated 11 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.
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 6 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- A repository for code used in the paper "On the precision loss in approximate homomorphic encryption"☆11Jan 16, 2025Updated last year
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Jul 19, 2024Updated last year
- Repository for hosting the MITRE Cyber Academy website.☆11Apr 12, 2023Updated 3 years ago
- Utilities for building distributed systems on top of mesos☆23Aug 25, 2018Updated 7 years ago
- FHE (CKKS, TFHE) end-to-end applications: HELR (logistic regression), ResNet-20, LSTM (RNN), bitonic sorting, DeepCNN-x☆18Aug 14, 2024Updated last year
- Soot based Jimple interpreter☆14Mar 31, 2021Updated 5 years ago
- My Blog and Notes☆15Sep 4, 2011Updated 14 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.
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Jul 31, 2013Updated 12 years ago
- CUDAAdvisor: a GPU profiling tool☆53Aug 24, 2018Updated 7 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
- Using gbdt+lr in recommend system and comparing the auc of lr, gbdt, gbdt+lr.☆24Jul 15, 2017Updated 8 years ago
- a simple rpc framework☆16Nov 13, 2016Updated 9 years ago
- ☆62Jun 2, 2026Updated last week
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆15Jan 27, 2019Updated 7 years ago