BorgBackup (short: Borg) is a deduplicating backup program. Optionally, it supports compression and authenticated encryption.

The main goal of Borg is to provide an efficient and secure way to backup data. The data deduplication technique used makes Borg suitable for daily backups since only changes are stored. The authenticated encryption technique makes it suitable for backups to not fully trusted targets.

Mentioned on the Wikipedia page about AIS.

Mentioned on 9fans https://marc.info/?l=9fans&m=175200018825021&w=2
Might try to get a better description for neindaw - DAW for Plan 9, "DAW" probably stands for "digital audio workstation"

Found on the Wikipedia page https://en.m.wikipedia.org/w/index.php?title=EuLisp&wprov=rarw1

An idea to simplify the software layers involved between command line and display.
Found on the 9fans mailing list https://9fans.topicbox.com/groups/9fans/T4f1a2098b1e1c854-M474a043f6f18ee4e660a427b/next-generation-acme
See https://github.com/letoram/arcan/wiki for a wiki about Arcan. https://www.divergent-desktop.org/blog/2020/08/10/principles-overview/ seems to be a good start.

Found on the Spritely institute forum https://community.spritely.institute/t/step-one-identity/615/3

Documentation for the S7 scheme interpreter, which can be found on https://ccrma.stanford.edu/software/snd/snd/s7.html

Shell scripts from Rob Pike to show operator precedence in C and Go.

"Both engineers and computational scientists alike will benefit greatly from having a standard test set for Initial Value Problems (IVPs) which includes documentation of the test problems, experimental results from a number of proven solvers, and Fortran subroutines providing a common interface to the defining problem functions. Engineers will be able to see at a glance which methods will be most effective for their class of problems. Researchers will be able to compare their new methods with the results of existing ones without incurring additional programming workload; they will have a reference with which their colleagues are familiar. This test set tries to fulfill these demands and tries to set a standard for IVP solver testing."
Found on John Butcher's page https://www.jcbutcher.com/rkclub

Tools to inspect certificates, test APIs of A-Trust, the provider of signature services such as "Handysignatur" and "ID Austria".