Files
Viper_VSCode/docs
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
..
2026-07-24 17:08:39 +08:00

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.