Minirighi ist ein freies Multithreading-Betriebssystem, das zu Lehrzwecken geschrieben wurde. Es entstand von Grund auf neu und ist POSIX-kompatibel. Sein Hauptfeature ist der schlanke Kernel, dessen Quellcode im Gegensatz zu vielen anderen Open-Source-Kernels einfach zu lesen ist.