8000
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
A superoptimizer for LLVM IR
C++ 2.4k 188
Automatic verification of LLVM optimizations
C++ 1.2k 163
compiler for silly, new programming language for fast bignum computations
C++
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++ 4.6k 1k
Read-only Mirror - no pull request (use https://gerrit.libreoffice.org instead)
JavaScript 657 185
The Self-Driving Database Management System
C++ 2.1k 614
There was an error while loading. Please reload this page.