Standard ML repos explained in plain English
Popular Standard ML repositories on GitHub, each explained for non-coders — what it does, its tech stack, and how to run it.
- emberian/svenvsA research project that lets an AI agent modify itself only when mathematical proofs confirm it stays inside s
All repos · Explain any other repo →