MiniHF Documentation