Skip to content
devhub
.
Explore
Compare
Saved
Sign in
Back to repositories
Public repository
/
model-checking
kani-vscode-extension
Kani VSCode Extension
Save
View on GitHub
23
Stars
13
Forks
17
Open issues
10
Subscribers
Language distribution
Share of source bytes reported by GitHub
TypeScript
87%
JavaScript
5%
Python
4%
Rust
2%
Shell
2%
Makefile
<1%
Recent activity
Latest commits on the default branch
Bump @typescript-eslint/parser from 8.70.1 to 8.71.0 (#410)
dependabot[bot] · Oct 7, 2026
Bump eslint-plugin-n from 18.4.0 to 18.4.1 (#409)
dependabot[bot] · Oct 7, 2026
Bump mocha from 12.0.2 to 12.0.3 (#406)
dependabot[bot] · Oct 7, 2026
Bump @typescript-eslint/eslint-plugin from 8.70.1 to 8.71.0 (#408)
dependabot[bot] · Oct 7, 2026
Bump eslint from 10.11.0 to 10.12.0 (#407)
dependabot[bot] · Oct 7, 2026
Bump brace-expansion from 5.0.7 to 5.0.12 (#404)
dependabot[bot] · Oct 5, 2026
Bump serialize-javascript from 7.1.1 to 7.1.2 (#405)
dependabot[bot] · Oct 5, 2026
Bump github/codeql-action from 4.38.0 to 4.38.2 (#403)
dependabot[bot] · Oct 4, 2026
Bump @typescript-eslint/eslint-plugin from 8.70.0 to 8.70.1 (#399)
dependabot[bot] · Sep 30, 2026
Bump prettier from 3.9.8 to 3.9.9 (#398)
dependabot[bot] · Sep 30, 2026
amazon-auto
1 commits
qinheping
1 commits
