top Standard ML repos, explained fr

popular Standard ML repos on github, each explained in plain english: what it 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