Skip to content

@ClemsonRSRG RSRG

Change the repository type filter

All

    Repositories list

    12 repositories

    • RESOLVE

      Public
      RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
      specification-languageprogramming-languageverification
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •16•24•10•1•Updated Feb 21, 2025Feb 21, 2025

    • beginToReason2

      Public
      An improved version of the tutor for teaching students to reason about their code.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •9•0•7•0•Updated Feb 20, 2025Feb 20, 2025

    • RESOLVETutorial

      Public
      RESOLVE Tutorial
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•1•Updated Feb 19, 2025Feb 19, 2025

    • RESOLVE-Workspace

      Public
      RESOLVE Workspace
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •9•0•0•0•Updated Feb 20, 2023Feb 20, 2023

    • vim-resolve

      Public
      a RESOLVE syntax and execution plugin for Neovim
      Python
      •
      MIT License
      •1•0•0•0•Updated Jun 14, 2021Jun 14, 2021

    • beginToReason

      Public archive
      A tutor for teaching students to reason about their code.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •3•1•0•0•Updated Mar 18, 2021Mar 18, 2021

    • RESOLVEWebAPI

      Public
      This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•3•0•Updated Jul 9, 2020Jul 9, 2020

    • RESOLVEMinimalistWebUI

      Public
      A minimalist Web UI that verifies RESOLVE files.
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jun 18, 2020Jun 18, 2020

    • jetbrains-plugin-resolve

      Public
      A plugin that provides support for the RESOLVE language in jetbrains IDEs
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •3•2•11•0•Updated Mar 1, 2019Mar 1, 2019

    • RESOLVEWebIDE-v4

      Public
      RESOLVE Web IDE developed using Play Framework 1.25
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •8•0•3•0•Updated Jan 2, 2019Jan 2, 2019

    • RESOLVEWebIDE-v5

      Public
      RESOLVE Web IDE developed using Play Framework 2.x
      Java
      •
      Other
      •1•0•6•0•Updated Mar 30, 2018Mar 30, 2018

    • ace

      Public
      Ajax.org Cloud9 Editor
      JavaScript
      •
      Other
      •5.3k•0•0•0•Updated Nov 13, 2012Nov 13, 2012