Pinned

1. VerifAPS/verifaps-lib VerifAPS/verifaps-lib Public

   Libraries for the analysis of IEC61131-3 code

   Kotlin 14 4

2. jmltoolkit/jmlparser jmltoolkit/jmlparser Public

   Forked from javaparser/javaparser

   A Parser for JML and Java.

   Java 5 1

3. key-tools key-tools Public

   Tools for the KeY Theorem Prover

   JavaScript 1 1

4. jmltoolkit/vscode-jml jmltoolkit/vscode-jml Public

   VS Code Extension for Support of Java Modelling Language

   TypeScript 1 1

5. smt2key smt2key Public

   Translates SMT-lib files to KeY (Theorem Prover) inputs

   OCaml 1

6. sharpPI sharpPI Public

   Counting of Images and Pre-images in CNF formulas for QIF

   C++