Pinned Loading

1. smackers/smack smackers/smack Public

   SMACK Software Verifier and Verification Toolchain

   C 431 82

2. OpenJML/OpenJML OpenJML/OpenJML Public

   This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

   Java 143 33

3. AnnotationsForAll/annotationsforall AnnotationsForAll/annotationsforall Public

   Public repository of formal specifications for libraries

   C 4 1

4. AnnotationsForAll/CodeSonarFramacPlugin AnnotationsForAll/CodeSonarFramacPlugin Public

   Plugin to integrate Frama-C with Codesonar

   Python

5. OpenJML/JMLAnnotations OpenJML/JMLAnnotations Public

   The Java annotations defined by JML

   Java 1 1

6. OpenJML/Specs OpenJML/Specs Public

   Contains the specifications for the Java language used by OpenJML.

   Java 4 8