emsenn

Home

❯

Technology

❯

Disciplines of Technology

❯

Computing

❯

Software

Software

Mar 03, 20261 min read

Notes on specific software tools and platforms.

Entries

  • Agda
  • GitHub
  • GnoponEmacs
  • Lean
  • Mastodon
  • MkDocs
  • Computer Programming

8 items under this folder.

  • Mar 01, 2026

    Agda

    • proof-assistant
    • programming-languages
    • formal-methods
    • type/index
  • Mar 01, 2026

    Lean

    • proof-assistant
    • programming-languages
    • formal-methods
    • type/index
  • Jan 01, 2026

    Computer Programming

    • type/index
  • Dec 31, 2025

    git

    • Dec 31, 2025

      GitHub

      • type/index
    • Dec 31, 2025

      GnoponEmacs

      • type/index
    • Dec 31, 2025

      Mastodon

      • type/index
    • Dec 31, 2025

      MkDocs

      • type/index

    Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.