| 1 |
 @rdnsyh
|
15 hrs 35 mins |
2 hrs 35 mins |
Reason, JavaScript, TypeScript, JSON, CSS, OCaml |
| 2 |
 Wahidyan Kresna Fridayoka
|
13 hrs 21 mins |
2 hrs 40 mins |
Reason, JSON, JavaScript, TypeScript, HTML, JSX, OCaml, XML, Bash |
| 3 |
 Jay Lee
|
8 hrs 53 mins |
1 hr 28 mins |
OCaml, TeX, Markdown, OpenEdge ABL, VimL, Bash |
| 4 |
 @rgrinberg
|
5 hrs 41 mins |
48 mins |
OCaml, Verilog, Emacs Lisp, Git, JSON, Coq, Markdown, Python, YAML, … |
| 5 |
 Wonseok Shin
|
5 hrs 10 mins |
44 mins |
C++, OCaml, Java, TeX, Bash, Text, Python, JSON, XML, … |
| 6 |
 @vyorkin
|
2 hrs 33 mins |
25 mins |
Verilog, OCaml, Bash, Makefile, Coq, Git Config, Nix, YAML, JSON |
| 7 |
 @ThePommeDeTerre
|
1 hr 21 mins |
11 mins |
Java, XML, Python, Markdown, OCaml, Groovy, Bash, Git Config, Text, … |
| 8 |
 Jason Gross
|
2 mins |
0 secs |
Makefile, Coq, Bash, TeX, Markdown, Git, reStructuredText, Text, OCaml |
| 9 |
 Oleg Nechiporenko
|
0 secs |
0 secs |
JavaScript, Reason, JSON, YAML, Docker, Nginx configuration file, OCaml, TypeScript, Markdown |
| 10 |
 alon
|
0 secs |
0 secs |
JavaScript, Reason, JSON, YAML, JSX, Docker, Git Config, Markdown, OCaml, … |
WakaTime