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:
- Coursera Course (Stanford CS143)☆24May 8, 2014Updated 12 years ago
- Code used for Cards Against Humanity EMNLP paper☆12Sep 4, 2023Updated 3 years ago
- Parametric Integer Programming Library☆15Aug 28, 2026Updated last month
- Monte Carlo Planning with Large Language Model for Text-Based Game Agents☆13Mar 2, 2025Updated last year
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Speeding up and debittering Caffe by adding Halide☆18May 12, 2015Updated 11 years ago
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆137Jun 23, 2019Updated 7 years ago
- Postion-based Fluid Simulation☆13Aug 17, 2020Updated 6 years ago
- a rubric driven prioritized replay rl algo to maximise continual learning☆16Oct 12, 2025Updated last year
- Open source release of the Piko graphics pipeline compiler.☆15May 5, 2015Updated 11 years ago
- ☆13Jan 24, 2017Updated 9 years ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆26Sep 14, 2026Updated last month
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 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.
- ☆10Mar 26, 2021Updated 5 years ago
- JavaScript Library for WordStream - Topic evolution, using D3js☆13Oct 25, 2025Updated 11 months ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- A Blender extension for automated, editable, and inter-shot consistent 3D storyboard production.☆33Sep 7, 2026Updated last month
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Sep 14, 2026Updated last month
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- Repository for hosting the MITRE Cyber Academy website.☆11Apr 12, 2023Updated 3 years ago
- ☆12May 24, 2022Updated 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.
- Dig Spark's source code.☆17Feb 1, 2024Updated 2 years ago
- An Eclipse plugin to integrate the Class File Reader (CFR) java decompiler☆11Jul 26, 2016Updated 10 years ago
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 years ago
- 历年EMNLP论文和开源项目合集，包含EMNLP2025、EMNLP2024、EMNLP2023、EMNLP2022、EMNLP2021。☆18Jul 16, 2025Updated last year
- A transform stream for glslify that adds an `import` directive to your shaders.☆24Feb 11, 2021Updated 5 years ago
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 5 years ago
- ScalaIO 2014 Workshop☆25Oct 23, 2014Updated 11 years ago
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated last year
- A reading list for homomorphic encryption☆17Dec 28, 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.
- Refer to a future commit sha1 in your commit message!☆19Apr 24, 2015Updated 11 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated 2 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆42Jul 22, 2022Updated 4 years ago
- Python implementation of the Fully Homomorphic Encryption Scheme TFHE☆18Jun 19, 2023Updated 3 years ago
- Add the encrypted flag to an APK file☆23Dec 4, 2013Updated 12 years ago
- 详细双语注释版word2vec源码，well-annotated word2vec☆10Oct 3, 2021Updated 5 years ago
- ☆62Sep 23, 2020Updated 6 years ago