Anton Trunov

@anton-trunov

Open GitHub

🇦🇪 Dubai

https://tonstudio.io

Profile age: about 13 years

Updated 10 days ago

346 followers • 137 following

Contacts

@falsenov

Organizations

Repositories

csclub-coq-course-spring-2021

updated over 2 years ago • age over 4 years

HTML65.3%

JavaScript16.1%

Coq8.4%

CSS7.4%

SCSS2.8%

coq-lecture-notes

updated almost 5 years ago • age over 6 years

Coq71.8%

HTML28.2%

ssreflect-london-tydd-meetup

updated over 4 years ago • age over 4 years

HTML59.1%

JavaScript26.7%

SCSS7.8%

CSS4.0%

Coq2.3%

fold-tutorial-talk

updated over 7 years ago • age over 7 years

TeX79.0%

Coq21.0%

scilla-posts

updated about 6 years ago • age about 6 years

secp256k1-ml

updated over 3 years ago • age over 5 years

OCaml73.8%

C26.2%

math-comp

updated almost 5 years ago • age over 7 years

Coq94.3%

OCaml5.4%

Shell0.1%

CSS0.1%

Makefile0.1%

Contributions

2025
tact
~74 PRs +228-24
TypeScript
652
204
85
web-ide
1 PR +22-125
TypeScript
159
28
tact-template
3 PRs +44-20
TypeScript
100
50
tact-language-server
3 PRs +87-23
TypeScript
21
7
17
tact.vim
1 PR +96-97
Vim Script
19
2
2
tact-sublime
1 PR +19-19
Tact
9
1
12
TxTracer-core
1 PR +4-4
TypeScript
3
0
2
2024
tact
~128 PRs +280-813
TypeScript
652
204
85
blueprint
1 PR +24-10
TypeScript
598
155
awesome-tact
~7 PRs +4-0
217
23