GitHub / anton-trunov issue stats
Total issues: 1,099
Total pull requests: 303
Merged pull request: 295
Average time to close issues: about 2 months
Average time to close pull requests: 4 days
Average comments per issue: 1.1
Average comments per pull request: 0.45
Issues created
- tact-lang/tact: 672
- tact-lang/web-ide: 67
- tact-lang/jetton: 35
- tact-lang/tact-template: 24
- tact-lang/tact-docs: 23
- ton-org/blueprint: 18
- FuelLabs/sway: 17
- tact-lang/ton-opcode: 15
- zilliqa/staking-contract: 14
- rocq-community/lemma-overloading: 14
- tact-lang/tact-vscode: 13
- tact-lang/tact.vim: 12
- tact-lang/awesome-tact: 10
- QuickChick/QuickChick: 9
- ilyasergey/pnp: 8
- mattam82/Coq-Equations: 8
- tact-lang/tree-sitter-tact: 8
- cpitclaudel/alectryon: 7
- ton-community/ton-docs: 7
- rocq-community/manifesto: 6
- coq-community/bits: 6
- imdea-software/fcsl-pcm: 5
- tact-lang/tact-sublime: 5
- zilliqa/scilla-docs: 5
- coq-community/alea: 5
- math-comp/mcb: 5
- evinism/lambda-explorer: 4
- rocq-community/awesome-coq: 4
- jasongross/coq-tools: 4
- ton-blockchain/intellij-ton: 4
- tact-lang/tact-by-example: 4
- coq-community/regexp-brzozowski: 4
- coq-community/templates: 4
- rocq-archive/coq-serapi: 3
- zilliqa/zrc: 3
- coq-community/coq-tricks: 3
- math-comp/finmap: 2
- rgrinberg/ocaml-mustache: 2
- cpitclaudel/academic-poster-template: 2
- ton-org/create-ton: 2
- zilliqa/zli: 2
- engineeringsoftware/mcoq: 2
- ton-org/sandbox: 1
- math-comp/mczify: 1
- coq/coq: 1
- andrenth/ocaml-stdint: 1
- math-comp/hierarchy-builder: 1
- tchajed/coq-record-update: 1
- mjambon/dune-deps: 1
- bloomberg/ppx_string_interpolation: 1
- smorimoto/coq-to-ocaml-to-js: 1
- ohmjs/ohm: 1
- arthuraa/extructures: 1
- llelf/cocoricoogle: 1
- tact-lang/prism-ton: 1
- vyorkin/haskbot: 1
- awesomo4000/awesome-provable: 1
- jmid/mutaml: 1
- zilliqa/zilscamwatchlist: 1
- ton-blockchain/ton: 1
- katydid/regex-derivatives-coq: 1
- egeerardyn/awesome-LaTeX: 1
- coq-community/docker-coq: 1
- sbt/sbt: 1
- stedolan/malfunction: 1
- hammerlab/ppx_deriving_cmdliner: 1
- micovi/zilcli: 1
- coq-tactician/coq-tactician: 1
- uhub/awesome-coq: 1
- ejgallego/ssrbit: 1
- ocaml/opam: 1
- cpitclaudel/company-coq: 1
- mirage/ocaml-rpc: 1
- anton-trunov/csclub-coq-course-spring-2021: 1
Pull requests created
- tact-lang/tact: 172
- rocq-community/lemma-overloading: 18
- tact-lang/tact-template: 14
- zilliqa/scilla-docs: 11
- coq-community/bits: 9
- FuelLabs/sway: 7
- tact-lang/awesome-tact: 7
- zilliqa/staking-contract: 4
- tact-lang/ton-opcode: 4
- coq-community/alea: 4
- tact-lang/tact-docs: 3
- zilliqa/scilla-workshop: 3
- rocq-community/awesome-coq: 3
- zilliqa/zrc: 3
- tact-lang/tact-by-example: 2
- math-comp/odd-order: 2
- coq-community/templates: 2
- imdea-software/fcsl-pcm: 2
- steshaw/plt: 2
- egeerardyn/awesome-LaTeX: 2
- domt4/homebrew-crypto: 2
- mattam82/Coq-Equations: 2
- tact-lang/tact-emulator: 2
- cpitclaudel/company-coq: 1
- zilliqa/scilla-mode: 1
- rgrinberg/ocaml-mustache: 1
- zilliqa/schnorr: 1
- math-comp/real-closed: 1
- cpitclaudel/alectryon: 1
- ilyasergey/pnp: 1
- hwayne/lets-prove-leftpad: 1
- tact-lang/tree-sitter-tact: 1
- ton-community/ton-docs: 1
- ligurio/practical-fm: 1
- coq/coq-bench: 1
- stedolan/malfunction: 1
- rocq-archive/coq-serapi: 1
- tact-lang/web-ide: 1
- camlp4/camlp4: 1
- clarus/smart-print: 1
- coq-community/coq-tricks: 1
- tact-lang/tact.vim: 1
- math-comp/finmap: 1
- ton-org/blueprint: 1
- tact-lang/ton-coverage: 1
- tact-lang/tact-sublime: 1
Maintainer
- tact-lang/tact: 844
- tact-lang/web-ide: 68
- tact-lang/tact-template: 38
- tact-lang/jetton: 35
- rocq-community/lemma-overloading: 32
- tact-lang/tact-docs: 26
- tact-lang/ton-opcode: 19
- ton-org/blueprint: 19
- tact-lang/awesome-tact: 17
- coq-community/bits: 15
- tact-lang/tact-vscode: 13
- tact-lang/tact.vim: 13
- tact-lang/tree-sitter-tact: 9
- coq-community/alea: 9
- ilyasergey/pnp: 9
Active Maintainer
Issue Author Associations
- Member (951, 86.53%)
- None (72, 6.55%)
- Collaborator (39, 3.55%)
- Contributor (36, 3.28%)
- Owner (1, 0.09%)
Pull Request Author Associations
- Member (253, 83.50%)
- Contributor (35, 11.55%)
- None (10, 3.30%)
- Collaborator (5, 1.65%)
Top Issue Labels
- kind: docs (135)
- bug (76)
- scope: stdlib (49)
- kind: bug (47)
- kind: testing (46)
- kind: gas! (41)
- docs.tact-lang.org (34)
- scope: codegen (32)
- enhancement (30)
- testing (27)
- typechecker (27)
- language feature (27)
- docs: Book (26)
- documentation (26)
- kind: benchmark (25)
Top Pull Request Labels
- compiler: frontend (6)
- documentation (6)
- infrastructure (5)
- syntax (2)
- enhancement (2)
- testing (2)
- ci (1)
- bug (1)
- refactoring (1)
- cli (1)
- audit (1)
- bugfix (1)
- kind: documentation (1)