Popular repositories

1. TPP2014 TPP2014 Public

   Theorem proving and provers for reliable theory and implementations

   Coq 5 1

2. iPad-ProbeDeformer iPad-ProbeDeformer Public

   iPad application: Probe based deformer using Dual Complex Numbers

   Objective-C 4 1

3. MathematicaCGA MathematicaCGA Public

   Mathematica 4 1

4. RelationalCalculus RelationalCalculus Public

   Coq 3

5. DANCAR DANCAR Public

   Disk-ANChor ARrangement for embedding directed graphs

   Python 2

6. FuzzyRelationalDatabase FuzzyRelationalDatabase Public

   Mathematica 1