CharlieMartell / Compiler-ConstructionLinks
COOL Compiler
☆11Updated 9 years ago
Alternatives and similar repositories for Compiler-Construction
Users that are interested in Compiler-Construction are comparing it to the libraries listed below
Sorting:
- 方舟编译入门技术课程的配套代 码☆30Updated 4 years ago
- learn javassist by example☆31Updated 3 years ago
- An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware☆25Updated 10 years ago
- Parallel Algorithm Scheduling Library☆106Updated 8 years ago
- PKU computer organization and architecture RISC-V Simulator LAB☆34Updated 6 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆32Updated 9 years ago
- Solutions to exercises of Modern Compiler Implementation in C book☆39Updated 5 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- Just save my record on github...☆26Updated 4 years ago
- 6.823 Advanced Computer Architecture Lab☆13Updated 8 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具：function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 6 years ago
- ☆47Updated 3 years ago
- 👨💻 My PhD.☆187Updated 2 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆227Updated 6 years ago
- Modern Compiler Implementation in C☆39Updated 9 years ago
- Coursera Course (Stanford CS143)☆25Updated 11 years ago
- Generic model checker for concurrent C programs (mirror repository)☆156Updated last month
- Code examples for tutoring modern C++☆98Updated last month
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆273Updated 3 years ago
- ☆110Updated 4 years ago
- Lists of must-read papers (mainly security papers)☆30Updated 11 months ago
- ☆10Updated 5 years ago
- Compartmentalised monolithic library OS☆19Updated 4 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆146Updated last year
- put my presentation materials.☆123Updated 8 years ago
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆132Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆25Updated 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 9 years ago
- compiler course info☆249Updated last year
- Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.☆42Updated 10 years ago