What are the top Standard ML repos?
Popular Standard ML repositories on GitHub, each answered in plain English for non-coders: what it is, 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 →