28 June 2022

This is just a short entry on the availability of two new variants of former applications bibref and tarski, based on jquery.terminal:

• bibref (version 2022Jun27) brings the Greek text of the New Testament in your browser, making available to use your keyboard to do research on your own. See its GitHub page for more information.
• tarski helps you to compute with Tarski formulas and semi-algebraic sets. Its main web page explains more on the usage.

Both of these ports support command line history, TAB completion, reverse-i-search and syntax highlighting. Just like in bash!