Vojtěch Štěpančík

@VojtechStep

Open GitHub

🇫🇷 Nantes, France

Inria

Profile age: about 10 years

Updated about 22 hours ago

30 followers • 10 following

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 over 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%

CanSat2016

updated almost 9 years ago • age about 9 years

C++37.6%

C27.8%

C#23.0%

JavaScript9.3%

CSS2.2%

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
student-meetup
1 PR +1-1
HTML
7
2
2024
home-manager
1 PR +175-12
Nix
8,810
2,182
agda-unimath
~27 PRs +11,290-2,289
Agda
271
90
oama
1 PR +22-8
Haskell
202
17
24
meetups
1 PR +379-1
HTML
18
7
1