Projects¶

High-Productivity Compiler DevelopmentWe make compiler design accessible, e.g., through our Python-Native compiler framework xDSL.Compilation for Quantum ComputersWe aim to build compiler technology for an open-source quantum compiler ecosystemLean-MLIR: Verified Compilation in LeanWe aim to bring formal verification into LLVM/MLIR compiler ecosystem at scaleFPL: A Fast Presburger Libraryis a math library for the optimization of loops in deep learning and scientific computing.Seamless design of Smart Edge ProcessorsWe build a compiler toolchain for low-power domain-specific hardware accelerators for AIOpen-Source Electronic Design AutomationAn ecosystem for designing FPGA and ASICs hardware, also covering simulation, and verification

Earlier Projects¶

• Polly (lead developer)
  High-Level Optimizer for LLVM
• Graphite (reviewer)
  High-Level Optimizer for GCC
• isl (contributor)
  An integer set library
• islplot
  Visualization library for integer sets
• ppcg (contributor)
  C to CUDA/OpenCL compiler
• clang_complete
  Vim C++ code completion
• Dr. Cube
  J2ME Rubik's Cube simulator