Notes on specific software tools and platforms. Entries Agda GitHub GnoponEmacs Lean Mastodon MkDocs Computer Programming