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/zmk
ZMK Firmware Repository
ftc/z3-docker
A docker container and scripts for running the z3 theorem prover.
ftc/algBio
Algorithms in Molecular Biology, proteasome docking project
ftc/BallisticsCalc
Simple ballistics calculator. Exhibits the strategy pattern using android tags.
ftc/bodyweight-fitness-android
Bodyweight Fitness (Android)
ftc/config-files
Config files I use for my development environment. Bash, emacs, vim, etc
ftc/connectbot
ConnectBot is the first SSH client for Android.
ftc/droidel
Framework model for static analysis of Android
ftc/gitdemo
gitdemo
ftc/gitignore
A collection of useful .gitignore templates
ftc/headphones
A set of 3D-printed headphones, alongside a DAC/amp/EQ board powered by a Raspberry Pico.
ftc/hopper
Goal-directed static analysis tool for JVM languages.
ftc/jasmin
ftc/m4c_api
Make 4 Covid api
ftc/nextgislogger
Productive GSM data logger for Android
ftc/NovelDroid
An android app for extracting novel contents from forum posts
ftc/OcamlExamples
This is a random assortment of ocaml examples that I find myself googling for frequently.
ftc/osmtracker-android
GPS tracking tool for OpenStreetMap
ftc/probabilistic-sketches
ftc/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
ftc/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
ftc/ScalaProtoExample
example of usage of proto buffers with scala
ftc/sgtpuzzles
Android port of Simon Tatham's Puzzles. *git replace in use* - you might want to {{ git fetch origin 'refs/replace/*:refs/replace/*' }}
ftc/Signal-Android
A private messenger for Android.
ftc/TreeLock
A mutual exclusion algorithm using a tree
ftc/walautil
WALA utility methods for Scala projects.
ftc/Yamba
Yamba app, final, as described in Learning Android 2E
ftc/zmk-lily58-ftc
ftc/zmk_chi
ftc/zmk_firmware