Dhruv Makwana

@dc-mak

Open GitHub

🇬🇧 Cambridge, UK

Profile age: over 11 years

Updated 5 days ago

28 followers • 1 following

Repositories

NumLin

updated almost 3 years ago • age almost 8 years

TeX67.0%

OCaml32.0%

Makefile0.4%

Dockerfile0.3%

Fortran0.3%

Java

updated over 9 years ago • age almost 10 years

Java100.0%

slang_extended

updated over 9 years ago • age over 9 years

OCaml100.0%

PhD-Thesis

updated 10 months ago • age 12 months

HTML67.9%

TeX30.5%

C0.8%

Coq0.4%

OCaml0.4%

cerberus

updated 10 months ago • age about 1 year

OCaml49.8%

HTML29.4%

Coq11.9%

Isabelle6.4%

C2.5%

part-ii

updated about 5 years ago • age over 8 years

TeX98.7%

Makefile1.3%

Contributions

2025
raven
2 PRs +1,001-29
OCaml
314
40
2
cerberus
2 PRs +470-45
OCaml
71
38
cn
~43 PRs +10-6
OCaml
35
19
cn-tutorial
2 PRs +217-217
C
16
12
2024
cerberus
~96 PRs +1,821-1,265
OCaml
71
38
cn-tutorial
2 PRs +81-80
C
16
12
c-tree-carver
~11 PRs +50-31
C++
3
1
2023
opam-repository
1 PR +1-1
555
1,207
c-tree-carver
~11 PRs +30-16
C++
3
1
2021
vscode-languageserver-node
1 PR +1-0
TypeScript
1,661
360
44