Project list/leaderboard submissions/score updates

[d-tatianin]

If you want to be added to the leaderboard or have your score updated please post your score below, using the template.

Submission template:

| [OsName](os link) | Short description of your OS/why it stands out | Your Score | CPU used to acquire the result |

I update the leaderboard in batches once in a while as to reduce commit churn.

[streaksu]

| Ironclad | Formally verified, hard real-time capable kernel written in SPARK and Ada | 6,196,937 | Intel Core i9-13900KS |

[cppLover0]

| Orange | unix-like x86_64 os with some microkernel features | 4,204,053 | amd ryzen 5 3600 |

[braindigitalis]

| Retro Rocket | A BASIC powered 64-bit SMP multitasking OS | 441,329 | Intel Xeon E5-2680 |

[d-tatianin]

Done