Alternatives and similar repositories for cool-compiler

Users that are interested in cool-compiler are comparing it to the libraries listed below

• CharlieMartell / Compiler-Construction
  COOL Compiler
  ☆11Updated 9 years ago
• johnellis1392 / Cool-Compiler
  An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
  ☆24Updated 10 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆25Updated 11 years ago
• activatedgeek / COOL-Compiler
  Compiler phases for the COOL language
  ☆9Updated 10 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 4 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• sslab-gatech / juxta
  ☆25Updated 3 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• psiul / ICDE2019-GPU-Join
  Implementation of the algorithm described in "Hardware-conscious Hash-Joins on GPUs" paper presented in ICDE 2019
  ☆35Updated 4 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• sslab-gatech / shfllock
  ☆42Updated 3 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• colefichter / Tiger-Compiler
  My progress working through Modern Compiler Implementation in Java, by Andrew W. Appel (http://www.cs.princeton.edu/~appel/modern/java/)
  ☆25Updated 12 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• SJTU-IPADS / drtm
  Fast In-memory Transaction Processing using RDMA and HTM
  ☆58Updated 9 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• Yuzhen11 / flexps
  ☆33Updated 6 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• chao-peng / CLFuzz
  ☆9Updated 5 years ago
• DBCobra / CobraHome
  ☆11Updated 4 years ago
• sihangliu / pmtest
  ☆28Updated 5 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 12 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• ShenJiahuan / Sharded-KV
  A distributed sharded KV aiming at strong consistency
  ☆10Updated last year
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆112Updated 10 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago