Pinned Repositories
algBio
Algorithms in Molecular Biology, proteasome docking project
BallisticsCalc
Simple ballistics calculator. Exhibits the strategy pattern using android tags.
bodyweight-fitness-android
Bodyweight Fitness (Android)
config-files
Config files I use for my development environment. Bash, emacs, vim, etc
connectbot
ConnectBot is the first SSH client for Android.
droidel
Framework model for static analysis of Android
gitdemo
gitdemo
gitignore
A collection of useful .gitignore templates
z3-docker
A docker container and scripts for running the z3 theorem prover.
zmk
ZMK Firmware Repository
ftc's Repositories
ftc/bodyweight-fitness-android
Bodyweight Fitness (Android)
ftc/PLpaper
ProgrammingLanguagesPaper
ftc/Shawn_Meier
ftc/SOAPUI-Test
used to track down version control bug in soap-ui