Some notes about the Collatz conjecture : syracuse.pdf and short version with a proof dependencies graph available at proofs relationship.
A free sofware tool, I wrote in order to manage accountancy (double-entry bookkeeping, bills and so on) : Fig's accountancy tool.
Follow me on Strava if you like.