Popular repositories Loading

1. zddb zddb Public

   C++ 1

2. llvm-gvn-phi-matrics llvm-gvn-phi-matrics Public archive

   Forked from chapuni/llvm

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

   C++

3. startup-os startup-os Public

   Forked from google/startup-os

   Working examples of Google's Open Source tools and Cloud

   Java

4. coq 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 qrack Public

   Forked from unitaryfund/qrack

   Comprehensive, GPU accelerated framework for developing universal virtual quantum processors

   C++

6. spectre spectre Public

   Forked from picturepan2/spectre

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

   CSS