Skip to content
@rhit-csse-projects

rhit-csse-projects

Popular repositories 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. RESOLVE-Workspace RESOLVE-Workspace Public

    Java

Repositories

Showing 2 of 2 repositories
  • 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.

    rhit-csse-projects/RESOLVE’s past year of commit activity
    Java 0 BSD-3-Clause 16 7 0 Updated Oct 27, 2024
  • RESOLVE-Workspace Public
    rhit-csse-projects/RESOLVE-Workspace’s past year of commit activity
    Java 0 0 0 0 Updated Aug 1, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…