Vincent Rahli

@vrahli

Open GitHub

🇬🇧 Birmingham, UK

University of Birmingham

Profile age: over 12 years

Updated 13 days ago

33 followers • 3 following

Contacts

https://vrahli.github.io/

Organizations

Profile Overview

Global United Kingdom

Global Rank

Advanced 3

Persona

Creator

#243,134

#1,635,745

#422,268

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

NuprlInCoq

updated 11 months ago • age about 10 years

Coq98.2%

OCaml1.8%

Shell0.0%

Lean0.0%

Velisarios

updated about 6 years ago • age over 7 years

Coq95.5%

OCaml2.7%

Makefile1.5%

Shell0.2%

OpenEdge ABL0.0%

damysus

updated 9 months ago • age over 3 years

C++68.8%

Python28.4%

C1.2%

Makefile1.2%

Dockerfile0.4%

opentt

updated over 1 year ago • age over 4 years

Agda100.0%

Last Contributions

2023
TypeTopology
~15 PRs +4,480-1,577
Agda
261
50
2019
birmingham-theory
1 PR +4-3
HTML
4
10
2015
JonPRL
~8 PRs +509-154
Standard ML
111
9
1
sml-telescopes
2 PRs +11-0
Standard ML
1
1

View all contributions

Subscribe to vrahli's GitHub rank updates in your messenger

WhatsApp Telegram