Pinned Loading

1. .dotfiles .dotfiles Public

   Linux config files.

   Shell

2. stispectrograph stispectrograph Public

   A replacement for SBIG's "ST-i Spectroscopy Program".

   Python

3. tripleagentZ3 tripleagentZ3 Public

   Using Z3 theorem prover to find optimal strategies for Triple Agent

   Python

4. TensorFlow2048 TensorFlow2048 Public

   Using DDQN with TensorFlow to solve 2048 - Putney School Project Week Fall 2020

   Python

5. keyfi keyfi Public

   Forked from marrov/keyfi

   keyfi is a python package for key feature identification via dimensionality reduction, unsupervised clustering, and feature correlation in high-dimensional datasets

   Jupyter Notebook

6. practice2048 practice2048 Public

   2048 in Python, Rust, C, C++, TypeScript, Java and Go. Practicing programming languages.

   Python