BlackWalker01

DarkLogic

C++ library for Demonstrations of Theorems in Classical Logic

Necto

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

gcc