hotcell-core

Part of HotCell. See the repository README.