Pinned Loading

1. plues/pluesplues/pluesPublic

   Java 1

2. BSynthesisBSynthesisPublic

   Repair and Generation of Formal Models Using Synthesis (User Interface)

   Java

3. SICStusPrologFuzzerSICStusPrologFuzzerPublic

   SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees

   Prolog 3

4. hhu-stups/alloy2bhhu-stups/alloy2bPublic

   (READ ONLY MIRROR) Parser for our Translation from Alloy to B

   Prolog 2

5. UltimateTicTacToeUltimateTicTacToePublic

   Play the classic or ultimate Tic-Tac-Toe on your Android device.

6. ProBramSynthesisProBramSynthesisPublic

   Program Synthesis for B in ProB

   Java 2