Popular repositories Loading

1. fantasia fantasia Public

   Fantasia is an interactive proof tool with an embedded program extraction engine. This repository is a read-only mirror; it does not answer pull requests. Contact Korei Klein <korei.klein - [at] - …

   Python 7

2. dist_zero dist_zero Public

   DistZero is an exploratory distributed-reactive programming language.

   Python 1

3. drawpad drawpad Public

   Forked from openleap/drawpad

   Draw anything using your Leap. drawpad.org

   JavaScript

4. determineFingers determineFingers Public

   Forked from openleap/determineFingers

   A tool to determine which finger is which using the Leap. An OpenLeap project started by AlexOpalka.

   Objective-C

5. public public Public

   HatchLearn's open source software tools.

6. contiguous-encodings contiguous-encodings Public