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 8 years ago
• johnellis1392 / Cool-Compiler
  An implementation of the "Classroom Object-Oriented Language" compiler for CS143 on Stanford's open courseware
  ☆24Updated 9 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆24Updated 10 years ago
• 6035 / java-skeleton
  Java Skeleton Code for 6.035
  ☆8Updated 3 years ago
• geeeeeeeeek / tiger
  Modern Compiler Implementation in C
  ☆40Updated 9 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆26Updated 6 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• Yuzhen11 / flexps
  ☆34Updated 6 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆28Updated 5 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
• NYU-NEWS / janus
  ☆50Updated 10 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆101Updated last year
• psiul / ICDE2019-GPU-Join
  Implementation of the algorithm described in "Hardware-conscious Hash-Joins on GPUs" paper presented in ICDE 2019
  ☆33Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆23Updated 4 months ago
• serras / sf-exercises
  ☆12Updated 11 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• fs3l / CIS700-sgxlab
  SGX labs designed for CIS700 Information Security and Privacy
  ☆34Updated last year
• efeslab / huron
  A false sharing detection and repair tool
  ☆12Updated 5 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆111Updated 9 years ago
• SJTU-IPADS / drtm
  Fast In-memory Transaction Processing using RDMA and HTM
  ☆57Updated 9 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 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 11 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• sslab-gatech / shfllock
  ☆41Updated 3 years ago
• ICPCCamp / BlackBoxLinearAlgebra
  Code templates and slides for ICPCCamp 2017, Feb 13, Beijing.
  ☆53Updated 7 years ago