Pranav Kant pranavk

• Mountain View

Pinned Loading

1. A superoptimizer for LLVM IR

   C++ 2.4k 186

2. Automatic verification of LLVM optimizations

   C++ 1.1k 135

3. compiler for silly, new programming language for fast bignum computations

   C++

4. Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead

   C++ 3.8k 800

5. Read-only Mirror - no pull request (use https://gerrit.libreoffice.org instead)

   JavaScript 640 183

6. The Self-Driving Database Management System

   C++ 2k 618