Language Breakdown
Lines of code distribution across 53 owned repositories
6.1M
Total LOC
HTML
2,215,570 lines
36.1%
N/A
Rocq Prover
1,914,740 lines
31.2%
N/A
TeX
463,354 lines
7.5%
N/A
Jupyter Notebook
409,349 lines
6.7%
N/A
Haskell
302,800 lines
4.9%
N/A
Other
838,480 lines
13.6%
N/A
T
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
HTML
Rocq Prover
TeX
Jupyter Notebook
Haskell
Collaboration Network
Global Impact visualization
Repos
101
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
618
Contributions
402
Commits
50
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
47 total
Anton Bachin
@aantron
Андреев Кирилл
@Heimdell
Alex Gryzlov
@clayrat
Alexander Kuklev
@akuklev
Ilya Baryshnikov
@zlonast
Synced via GitHub
Top Repositories
matcomp-2020
Конспекты лекций по Матричным вычислениям
7
0
TeX
lambda-calculus
An LC interpreter with GHCi interface.
4
0
Haskell
Coq-2025
Материалы курса по Coq для ЦУ
3
2
HTML
DM-DRIP-2024
Конспекты лекций по Дискретной математике на ДРИП ФКН
3
0
TeX
Rocq-2026
Учебные материалы по курсу Rocq в Центральном Университете весной 2026 года
2
2
HTML
tabled-typeclass-resolution
2
0
Agda
lyceum-haskell
2
0
Haskell
odlang
A Haskell interpreter of a new functional language with effect types and substructural handlers
2
0
TeX
hermeneutics
Language workbench for Haskell
1
0
Haskell
turtle-lib
1
0
Open Source Impact
Contributions to external projects
151 merged PRs
zkFold/symbolic
24
zkFold/zkfold-cardano
8
DependoBuf/dependobuf
4
DependoBuf/vscode-dependobuf
0
DependoBuf/DependoBuf.github.io
0
neclitoris/mlambda
2
DimaTrushin/CppCode
36
Haskell-HSE/haskell-lectures-2026
3
Contributed to 8 repositories