While not exactly ML, David Turner's Miranda system is pretty small, and might be feasible: https://codeberg.org/DATurner/miranda https://codeberg.org/DATurner

While not exactly ML, David Turner's Miranda system is pretty small, and might be feasible: https://codeberg.org/DATurner/miranda https://codeberg.org/DATurner/miranda