sorceressofmathematics

Popular repositories

1. bionic-dancer

   Wearable device capable of generating music from dance movements

   1

2. hello-scaloid-sbt

   Forked from pocorall/hello-scaloid-sbt

   This is a "Hello, world" for Scaloid with sbt.

   Scala

3. actor-cpp

   Automatically exported from code.google.com/p/actor-cpp

   C#

4. fabfi

   Automatically exported from code.google.com/p/fabfi

   Shell

5. psopt

   Automatically exported from code.google.com/p/psopt

6. UniMath

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq