This is Caltech qed, fetched from USENIX tape 80.1 from ftp://ftp.mrynet.com/USENIX/80.1/boulder/caltech with small patches to make it build on Linux.
The git tag verbatim
corresponds to the original version.
It probably crashes on serious use, but the basic commands work.