Pinned Loading

1. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 35k 14.9k

2. PiStudio PiStudio Public

   Open source image editor for windows 10. Can be controlled by voice commands and Cortana.

   C# 16

3. SAT-Solver SAT-Solver Public

   Parallel SAT Solver

   C++ 10 1

4. Puppy Puppy Public

   Automatic test generator that creates tests whose execution can trigger specific code region.

   Java