GitHub / nishanthkarthik issue stats
Total issues: 37
Total pull requests: 15
Merged pull request: 6
Average time to close issues: 3 months
Average time to close pull requests: 4 months
Average comments per issue: 2.27
Average comments per pull request: 5.0
Issues created
- viperproject/prusti-dev: 3
- excalidraw/excalidraw: 3
- creusot-rs/creusot: 2
- jeapostrophe/racket-langserver: 2
- PrairieLearn/PrairieLearn: 2
- rockowitz/ddcutil: 2
- sampsyo/bril: 1
- facebook-csharp-sdk/facebook-csharp-sdk: 1
- AeneasVerif/aeneas: 1
- Snaipe/Criterion: 1
- 11ty/eleventy: 1
- rust-lang/rust-analyzer: 1
- typst/typst: 1
- tweag/rules_haskell: 1
- Nheko-Reborn/mtxclient: 1
- model-checking/kani: 1
- esp-rs/esp-hal: 1
- aspect-build/gcc-toolchain: 1
- francoismichel/ssh3: 1
- jgm/skylighting: 1
- embedded-graphics/embedded-graphics: 1
- almindor/mipidsi: 1
- zealdocs/zeal-packaging: 1
- linebender/tiny-skia: 1
- andrewrk/zig-wasi: 1
- duckdb/duckdb: 1
- stalwartlabs/website: 1
- Nheko-Reborn/nheko: 1
- bwinton/tabcenter: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (31, 83.78%)
- Contributor (6, 16.22%)
Pull Request Author Associations
- Contributor (9, 60.00%)
- None (6, 40.00%)
Top Issue Labels
- bug (4)
- Fixed (1)
- question (1)
- enhancement (1)
- needs-votes (1)
- type: bug (1)
- C-feature (1)
- A-rust-project (1)
- duplicate (1)
- error-reporting (1)
- [C] Bug (1)
- [F] Soundness (1)
- error-messages (1)
- reproduced (1)
- peripheral:rng (1)