seanpm2001 / SNU_2D_ProgrammingTools_IDE_ML Star 2 Code Issues Pull requests Discussions The ML Programming language IDE submodule for SNU Programming Tools (2D Mode) programming web-ide gplv3 ide ml languages standard-ml md txt snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-programmingtools snu-development snuprogrammingtools ml-lang ml-language Updated Nov 5, 2022 Standard ML
seanpm2001 / Learn-ML Star 2 Code Issues Pull requests Discussions A repository for showcasing my knowledge of the ML programming language, and continuing to learn the language. knowledge article gplv3 ml learn md txt gpl3 learn-ml seanpm2001 ml-lang ml-language seanpm2001-education seanpm2001-learn learn-ml-lang learn-ml-language Updated Nov 5, 2022 Standard ML
leidard / TinyML Star 0 Code Issues Pull requests A tiny interpreter for a subset of expressions of the ML language. interpreter functional-programming f-sharp type-inference type-checker ml-language Updated Feb 17, 2023 F#