Some of the work on Pop-11 and Poplog by Waldek Hebisch
(Mathematical Institute, University of Wroclaw, Poland)
http://www.math.uni.wroc.pl/~hebisch

His work on Poplog:
His latest work on Poplog is available on Github, here:
   https://github.com/hebisch/poplog

The Birmingham Poplog version 16 package is derived from that, re-packaged for non-expert users to download and install, with additional packages and teaching material from the Birmingham Poplog web site.

His main recent contribution has been working on 64-bit unix/linux versions of poplog, leading up to Poplog V16, available here
http://www.cs.bham.ac.uk/research/projects/poplog/V16/AREADME.html

http://www.math.uni.wroc.pl/~hebisch/poplog/
Latest version (15 Dec 2019)
http://www.math.uni.wroc.pl/~hebisch/poplog/poplog_base6.tar.bz2
The poplog tar package for download at UoB is based on this one.
with a different, version-independent, name:
http://www.cs.bham.ac.uk/research/projects/poplog/V16/DL/latest_poplog_base.tar.bz2

Poplog for ARM
Waldek also has a draft implementation of 32 bit Poplog for ARM available for testing:
   http://www.math.uni.wroc.pl/~hebisch/poplog/poplog_arm.tar.bz2

And a (partial?) Pop-11 version of Allen B. Downey's book
   How to think like a computer scientist.
   http://openbookproject.net/thinkcs/python/english3e/ (Latest version)
   Waldek's Pop-11 version of (an older edition of) the book is available in PDF format at
   http://www.math.uni.wroc.pl/~p-wyk4/thinkCS/thinkCS_1-19.pdf
   Latex source, figures, etc.:
   http://www.math.uni.wroc.pl/~p-wyk4/thinkCS/thinkCSpop11_0.7.1-19.tar.gz

Please report problems
Aaron Sloman
a.sloman[at]cs.bham.ac.uk
Installed: 19 Dec 2019
Updated: 4 Jan 2020