GVSDS/Viper_VSCode
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
Files
29da292e13729cc7aad5c93fb76c76f4a14a367c
Viper_VSCode/docs/README.md
T
TermiNexus 58c3e255e6 "chore: migrate Pyright branding to Vipeye/vipeye across docs and tooling 
- Rewrite root README and docs for Vipeye
- Rename pyright-test-policy to vipeye-test-policy
- Update CI/Azure pipelines, perfCompare.py and package metadata
- Keep upstream links, external tool params and # pyright: ignore compat"
2026-08-07 03:33:29 +08:00

484 B
Raw Blame History

Vipeye

Static type checker for Viper

Vipeye is a full-featured, standards-compliant static type checker for Viper. It is designed for high performance and can be used with large Viper source bases.

Vipeye includes a command-line tool, a language server, and an extension for Visual Studio Code.

Reference in new issue View Git Blame Copy Permalink