wtf do these Standard ML repos do?
Popular Standard ML repositories on GitHub, each decoded: what it actually does, its 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 →