Popular repositories Loading

1. llvm-gvn-phi-matrics Public archive

   Forked from chapuni/llvm

   Chapuni's branch based on http://llvm.org/git/llvm.git

   C++

2. kati Public

   Forked from google/kati

   An experimental GNU make clone

   Go

3. startup-os Public

   Forked from google/startup-os

   Working examples of Google's Open Source tools and Cloud

   Java

4. coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. qrack Public

   Forked from vm6502q/qrack

   Comprehensive, GPU accelerated framework for developing universal virtual quantum processors

   C++

6. spectre Public

   Forked from picturepan2/spectre

   Spectre.css - A Lightweight, Responsive and Modern CSS Framework

   CSS