Andrew Gardner's repositories
Android-Pilot
Android Labs for intermediate computer science course
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
gesture-tracking
Old project for tracking multiple unlabeled motion capture markers with Kalman filters
hs-to-coq
Convert Haskell source code to Coq source code
licenseheaders
Simple python script to add/replace license headers in a directory tree of source files
prism
Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
pytorch-lightning
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
UnlabeledGestures
Preprocessed, unlabeled motion capture gesture recognition data
UnlabeledPostures
Preprocessed, unlabeled motion capture hand posture recognition data