collection of formal systems used in mathematics, philosophy, linguistics, and computer science
https://github.com/woop/awesome-quantified-self
:bar_chart: Websites, Resources, Devices, Wearables, Applications, and Platforms for Self Tracking
