Popular repositories Loading

1. docs.scala-lang docs.scala-lang Public

   Forked from scala/docs.scala-lang

   The Scala Documentation website

   HTML

2. nagini nagini Public

   Forked from marcoeilers/nagini

   Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

   Python

3. silver silver Public

   Forked from viperproject/silver

   Definition of the Viper intermediate verification language.

   Scala

4. silicon silicon Public

   Forked from viperproject/silicon

   Symbolic-execution-based verifier for the Viper intermediate verification language.

   Scala

5. carbon carbon Public

   Forked from viperproject/carbon

   Verification-condition-generation-based verifier for the Viper intermediate verification language.

   Scala

6. viperserver viperserver Public

   Forked from viperproject/viperserver

   HTTP server that manages verification requests to different tools from the Viper tool stack.

   Scala