Leaderboards · Standard ML
Programmer | Languages Used | ||||
---|---|---|---|---|---|
1 |
|
1 hr 6 mins | 9 mins | Idris, Markdown, Standard ML, TOML, C, Java, JSON, Git Config, Makefile, … | |
2 |
|
10 mins | 1 min | Coq, Markdown, Makefile, Modula-2, CMake, Standard ML, Bash, C, C++, … | |
3 |
|
1 min | 0 secs | JavaScript, Vue.js, JSON, TypeScript, Rust, Makefile, HTML, TOML, Text, … | |
4 |
|
0 secs | 0 secs | JavaScript, Vue.js, HTML, SCSS, SQL, CSS, JSON, TypeScript, Sass, … |