Popular repositories Loading

1. bionic-dancer bionic-dancer Public

   Wearable device capable of generating music from dance movements

   2

2. hello-scaloid-sbt hello-scaloid-sbt Public

   Forked from pocorall/hello-scaloid-sbt

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

   Scala

3. actor-cpp actor-cpp Public

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

   C#

4. fabfi fabfi Public

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

   Shell

5. psopt psopt Public

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

6. UniMath UniMath Public

   Forked from UniMath/UniMath

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

   Coq