Pinned Repositories
Android-Pilot
Android Labs for intermediate computer science course
CDANs
Source code for https://arxiv.org/abs/1709.03019
clearml
ClearML - Auto-Magical CI/CD to streamline your AI workload. Experiment Management, Data Management, Pipeline, Orchestration, Scheduling & Serving in one MLOps/LLMOps solution
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
jsonargparse
Implement minimal boilerplate CLIs derived from type hints and parse from command line, config files and environment variables
licenseheaders
Simple python script to add/replace license headers in a directory tree of source files
onnxscript
ONNX Script enables developers to naturally author ONNX functions and models using a subset of Python.
a-gardner1's Repositories
a-gardner1/CDANs
Source code for https://arxiv.org/abs/1709.03019
a-gardner1/Android-Pilot
Android Labs for intermediate computer science course
a-gardner1/clearml
ClearML - Auto-Magical CI/CD to streamline your AI workload. Experiment Management, Data Management, Pipeline, Orchestration, Scheduling & Serving in one MLOps/LLMOps solution
a-gardner1/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.
a-gardner1/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
a-gardner1/gesture-tracking
Old project for tracking multiple unlabeled motion capture markers with Kalman filters
a-gardner1/hs-to-coq
Convert Haskell source code to Coq source code
a-gardner1/jsonargparse
Implement minimal boilerplate CLIs derived from type hints and parse from command line, config files and environment variables
a-gardner1/licenseheaders
Simple python script to add/replace license headers in a directory tree of source files
a-gardner1/onnxscript
ONNX Script enables developers to naturally author ONNX functions and models using a subset of Python.
a-gardner1/prism
Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
a-gardner1/pytorch-lightning
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
a-gardner1/seutil
a-gardner1/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
a-gardner1/UnlabeledGestures
Preprocessed, unlabeled motion capture gesture recognition data
a-gardner1/UnlabeledPostures
Preprocessed, unlabeled motion capture hand posture recognition data