Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/kushti

Badges

Overview
Ranks
Repositories
Languages

Alexander Chepurnoy

@kushti

🇷🇺 Russia

Ergo Platform

Profile age: about 13 years

Updated 14 days ago

285 followers • 34 following

Contacts

http://chepurnoy.org/

Organizations

Repositories

18

11

updated over 12 years ago • age over 12 years

Scala100.0%

18

2

updated about 10 years ago • age over 10 years

Coq100.0%

15

1

updated 4 months ago • age over 3 years

Scala66.2%

TeX26.9%

JavaScript6.6%

Java0.3%

5

1

updated almost 10 years ago • age about 11 years

Scala100.0%

5

2

updated 5 months ago • age 10 months

5

0

updated over 2 years ago • age over 3 years

TeX100.0%

1

2

updated over 7 years ago • age about 8 years

TeX100.0%

1

0

updated almost 9 years ago • age over 9 years

Scala100.0%

Contributions

2025
ergo
2 PRs +32-29
Scala
506
176
177
sigmastate-interpreter
2 PRs +104-21
Scala
65
41
45
chaincash
1 PR +9-27
Scala
23
2
2024
ergo
1 PR +234-154
Scala
506
176
177
sigmastate-interpreter
1 PR +780-514
Scala
65
41
45
ergodocs
1 PR +108-63
TeX
26
68
chaincash-rs
1 PR +86-6
Rust
6
5
2023
ergo
~48 PRs +684-342
Scala
506
176
177
oracle-core
1 PR +2-1
Rust
65
38
19
sigmastate-interpreter
2 PRs +76-412
Scala
65
41
45