GitHub repository: kravtsun/mathvm
Primary language: C++
Description: Educational virtual machine