Alternatives and similar repositories for cool-compiler

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

• 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
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 4 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 12 years ago
• sslab-gatech / shfllock
  ☆42Updated 3 years ago
• Yuzhen11 / flexps
  ☆33Updated 6 years ago
• 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
• geeeeeeeeek / tiger
  Modern Compiler Implementation in C
  ☆40Updated 9 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆221Updated 6 years ago
• CharlieMartell / Compiler-Construction
  COOL Compiler
  ☆11Updated 9 years ago
• Yuzhen11 / Effective_Modern_Cpp
  ☆13Updated 8 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• activatedgeek / COOL-Compiler
  Compiler phases for the COOL language
  ☆9Updated 10 years ago
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆272Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• qaqcatz / impomysql
  Detecting Logic Bugs in MySQL through Implication Oracle
  ☆1Updated last year
• nsumner / llvm-dataflow-analysis
  ☆65Updated 5 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• 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
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• yxymit / DBx1000
  ☆289Updated 2 years ago
• sslab-gatech / vbench
  VBench: Multicore Scalability Application Benchmark
  ☆9Updated 5 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆36Updated 2 weeks ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• XiangpengHao / VeryPM
  Persistent Memory Tool Box
  ☆12Updated last year
• Apress / programming-persistent-memory
  Source Code for 'Programming Persistent Memory: A Comprehensive Guide for Developers' by Steve Scargall
  ☆112Updated 3 years ago