Popular repositories Loading

1. qcircuit qcircuitPublic

   Forked from CQuIC/qcircuit

   A quantum circuit drawing application

   TeX 1

2. SuanShu SuanShuPublic

   Forked from aaiyer/SuanShu

   SuanShu is a math library of numerical methods for numerical analysis. - http://numericalmethod.com/up/suanshu/

   Java 1

3. Course-note Course-notePublic

   Forked from zhaouv/Course-note

   course&note

   1

4. leanprover_mathlib leanprover_mathlibPublic

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 1

5. sedumi sedumiPublic

   Forked from sqlp/sedumi

   SeDuMi: A linear/quadratic/semidefinite solver for Matlab and Octave

   C

6. yapCrawler yapCrawlerPublic

   Forked from Newt0n/yapCrawler

   yet another python crawler

   Python