James Smith


I have recently removed the GitHub integration from the Open Mathematics site, ostensibly for simplicity's sake. Issues and their comments are now no longer created on GitHub, instead the process has been internalised, so to speak. There is no effective difference other than that user's are now no longer required to link their GitHub account to the site.

As a result of this I no longer need this package, which is a shame:

It is a shame not just because I liked the package name, which someone was kind enough to relinquish, but because of the work that went into it. This update is really about publicising it in the hope that someone may find it useful one day.

Here are some other packages with glib names that also deserve a quick mention:

I think the package name of the first of these was also scrounged, thank you.

Lastly, I am careful not to make too many predictions in these updates but I am hoping that the next major version of the Occam IDE will be out in the spring of next year.

Previous

Websites

Papers

Presentations

Resources

Miscellany

Last updated 6th November 2025