Ali Caglayan

@Alizter

Open GitHub

🇬🇧 London, United Kingdom

Profile age: about 11 years

Updated 7 days ago

65 followers • 81 following

Profile Overview

Global United Kingdom

Rank in UK

Expert 3

Persona

Contributor

N/A

#5,651

#6,642

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

HoTT

updated 9 months ago • age almost 7 years

Coq98.7%

Python0.6%

Shell0.5%

Haskell0.1%

CSS0.1%

emblem

updated over 4 years ago • age over 4 years

Shell75.1%

C18.6%

Python3.6%

EmberScript1.5%

Yacc1.1%

nixpkgs

updated about 1 year ago • age about 3 years

Nix96.2%

Shell2.0%

Python1.3%

Perl0.3%

C0.2%

coq-lsp

updated about 1 year ago • age over 3 years

OCaml73.3%

Coq17.8%

TypeScript5.2%

JavaScript2.9%

Raku0.7%

dune

updated 10 months ago • age about 5 years

OCaml97.8%

C0.9%

Emacs Lisp0.6%

Dune0.4%

Shell0.3%

View all 7 repositories

Last Contributions

2025
nixpkgs
3 PRs +12-8
Nix
22,039
16,952
dune
1 PR +2-2
OCaml
1,786
450
159
Coq-HoTT
~48 PRs +29-23
Rocq Prover
1,350
197
14
opam
1 PR +28-0
OCaml
149
174
gapi-ocaml
2 PRs +15-25
OCaml
96
19
39

View all contributions

Latest Updates

03 Oct 2025
Followers Count:64 65
20 Aug 2025
Followers Count:61 64
06 Aug 2025
Followers Count:59 61
23 Jul 2025
Followers Count:61 59
09 Jan 2025
First seen

Subscribe to Alizter's GitHub rank updates in your messenger

WhatsApp Telegram