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