Dhruv Makwana

@dc-mak

Open GitHub

🇬🇧 Cambridge, UK

Profile age: over 11 years

Updated 5 days ago

28 followers • 1 following

Profile Overview

Global United Kingdom

Global Rank

Advanced 3

Persona

Contributor

#480,681

#493,240

#499,785

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 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%

View all 6 repositories

Last 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

View all contributions

Latest Updates

08 Aug 2025
Followers Count:27 28
05 Jan 2025
First seen

Subscribe to dc-mak's GitHub rank updates in your messenger

WhatsApp Telegram