Skip to content
@ClemsonRSRG

RSRG

RESOLVE Software Research Group at Clemson University

Pinned Loading

  1. RESOLVE RESOLVE Public

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

    Java 24 16

  2. beginToReason2 beginToReason2 Public

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

    JavaScript 9

Repositories

Showing 10 of 12 repositories
  • beginToReason2 Public

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

    ClemsonRSRG/beginToReason2’s past year of commit activity
    JavaScript 0 BSD-3-Clause 9 7 1 Updated Sep 23, 2024
  • RESOLVETutorial Public

    RESOLVE Tutorial

    ClemsonRSRG/RESOLVETutorial’s past year of commit activity
    JavaScript 0 BSD-3-Clause 2 0 1 Updated Sep 19, 2024
  • RESOLVE Public

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

    ClemsonRSRG/RESOLVE’s past year of commit activity
    Java 24 BSD-3-Clause 16 10 0 Updated Aug 28, 2024
  • RESOLVE-Workspace Public

    RESOLVE Workspace

    ClemsonRSRG/RESOLVE-Workspace’s past year of commit activity
    Java 0 BSD-3-Clause 9 0 0 Updated Feb 20, 2023
  • vim-resolve Public Forked from lilyinstarlight/vim-resolve

    a RESOLVE syntax and execution plugin for Neovim

    ClemsonRSRG/vim-resolve’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Jun 14, 2021
  • beginToReason Public archive

    A tutor for teaching students to reason about their code.

    ClemsonRSRG/beginToReason’s past year of commit activity
    JavaScript 1 BSD-3-Clause 3 0 0 Updated Mar 18, 2021
  • RESOLVEWebAPI Public

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

    ClemsonRSRG/RESOLVEWebAPI’s past year of commit activity
    Java 0 BSD-3-Clause 1 3 0 Updated Jul 9, 2020
  • RESOLVEMinimalistWebUI Public

    A minimalist Web UI that verifies RESOLVE files.

    ClemsonRSRG/RESOLVEMinimalistWebUI’s past year of commit activity
    JavaScript 0 BSD-3-Clause 1 0 0 Updated Jun 18, 2020
  • jetbrains-plugin-resolve Public

    A plugin that provides support for the RESOLVE language in jetbrains IDEs

    ClemsonRSRG/jetbrains-plugin-resolve’s past year of commit activity
    Java 2 BSD-3-Clause 3 11 (1 issue needs help) 0 Updated Mar 1, 2019
  • RESOLVEWebIDE-v4 Public

    RESOLVE Web IDE developed using Play Framework 1.25

    ClemsonRSRG/RESOLVEWebIDE-v4’s past year of commit activity
    JavaScript 0 BSD-3-Clause 8 3 0 Updated Jan 2, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…