MINA Instruction Set Architecture Official GitHub repository for the MINA instruction set architecture. You can find a work-in-progress ISA manual here!