Datasets
Other scripts
Smaller scripts that did not go with a paper will be posted here.
Tools
The computations use SAGE, sometimes with data from the LMFDB.
Last updated August 2026.
Hamo, the character of Jinju City, is used with attribution under the Korea Open Government License.