Pinned

1. google/souper Public

   A superoptimizer for LLVM IR

   C++ 1.9k 159

2. souper-cgo20-artifact Public

   "Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

   C 5

3. cranelift-peepholes Public

   Automatic peephole optimizer for Cranelift JIT compiler

   Rust 15 2

4. hat Public

   Forked from microsoft/hat

   TOML-annotated C header file format for packaging binary files, from Microsoft Research

   Python 1

5. microsoft/hat Public

   TOML-annotated C header file format for packaging binary files, from Microsoft Research

   Python 7 10

6. Accera Public

   Forked from microsoft/Accera

   Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research

   C++