-
math2visual Public
Forked from eth-lre/math2visualGenerating Pedagogically Meaningful Visuals for Math Word Problems: A New Benchmark and Analysis of Text-to-Image Models
Python UpdatedFeb 28, 2026 -
viper-ide Public
Forked from viperproject/viper-ideThis is the main repository for the Viper IDE extension for VS Code.
TypeScript Mozilla Public License 2.0 UpdatedApr 22, 2025 -
viperserver Public
Forked from viperproject/viperserverHTTP server that manages verification requests to different tools from the Viper tool stack.
Scala Other UpdatedApr 9, 2025 -
silver Public
Forked from viperproject/silverDefinition of the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedMar 25, 2025 -
silicon Public
Forked from viperproject/siliconSymbolic-execution-based verifier for the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedMar 15, 2025 -
carbon Public
Forked from viperproject/carbonVerification-condition-generation-based verifier for the Viper intermediate verification language.
Scala Mozilla Public License 2.0 UpdatedDec 23, 2024
{{ message }}