Pinned Loading

1. RESOLVE RESOLVE Public

   Forked from ClemsonRSRG/RESOLVE

   RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

   Java

2. beginToReason2 beginToReason2 Public

   Forked from ClemsonRSRG/beginToReason2

   An improved version of the tutor for teaching students to reason about their code.

   JavaScript

3. RESOLVEWebIDE-v5 RESOLVEWebIDE-v5 Public

   Forked from ClemsonRSRG/RESOLVEWebIDE-v5

   RESOLVE Web IDE developed using Play Framework 2.x

   Java

4. RESOLVEWebAPI RESOLVEWebAPI Public

   Forked from ClemsonRSRG/RESOLVEWebAPI

   This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.

   Java

5. RESOLVETutorial RESOLVETutorial Public

   Forked from ClemsonRSRG/RESOLVETutorial

   JavaScript

6. RESOLVEMinimalistWebUI RESOLVEMinimalistWebUI Public

   Forked from ClemsonRSRG/RESOLVEMinimalistWebUI

   A simple Web UI that verifies RESOLVE files.

   JavaScript