Popular repositories Loading

1. CDANs CDANs Public

   Source code for https://arxiv.org/abs/1709.03019

   Python 6 4

2. Android-Pilot Android-Pilot Public

   Forked from catvsrat/Android-Pilot

   Android Labs for intermediate computer science course

   Java

3. UnlabeledGestures UnlabeledGestures Public

   Preprocessed, unlabeled motion capture gesture recognition data

4. UnlabeledPostures UnlabeledPostures Public

   Preprocessed, unlabeled motion capture hand posture recognition data

5. pytorch-lightning pytorch-lightning Public

   Forked from Lightning-AI/pytorch-lightning

   The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.

   Python

6. hs-to-coq hs-to-coq Public

   Forked from antalsz/hs-to-coq

   Convert Haskell source code to Coq source code

   Coq