Vojtěch Štěpančík

@VojtechStep

Open GitHub

🇫🇷 Nantes, France

Inria

Profile age: about 10 years

Updated about 14 hours ago

30 followers • 10 following

Profile Overview

Global France

Global Rank

Master 5

Persona

Contributor

N/A

#91,509

#470,823

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

jscoq-nix

updated about 1 year ago • age over 3 years

Nix100.0%

catalean

updated over 1 year ago • age over 1 year

Lean94.6%

Nix5.4%

graphiql

updated about 8 years ago • age over 8 years

JavaScript73.6%

CSS19.1%

HTML5.9%

Shell1.5%

agda-unimath

updated 9 months ago • age over 2 years

Agda98.5%

Python0.6%

TeX0.4%

CSS0.3%

Handlebars0.1%

coq-elpi

updated 10 months ago • age 10 months

OCaml35.5%

Coq35.0%

Prolog28.1%

Python0.9%

Nix0.4%

View all 6 repositories

Last Contributions

2025
1lab
1 PR +1-1
Agda
403
85
agda-unimath
~15 PRs +335-239
Agda
271
90
coq-elpi
2 PRs +113-66
Rocq Prover
177
67
66
coq-nix-toolbox
1 PR +10-7
Nix
47
20
rocq-prover.org
1 PR +356-356
HTML
11
22

View all contributions

Latest Updates

19 Oct 2025
Followers Count:31 30
05 Oct 2025
Followers Count:30 31
07 Jan 2025
First seen

Subscribe to VojtechStep's GitHub rank updates in your messenger

WhatsApp Telegram