ClemsonRSRG/RESOLVEWebIDE-v5
RESOLVE Web IDE developed using Play Framework 2.x
Public GitHub Catalog
Discovered Sep 25, 2026
ClemsonRSRG / RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5531160GitHub System ID
ClemsonRSRGOrganization / User
PublicVisibility
ActiveCatalog Status
More from ClemsonRSRG
ClemsonRSRG/RESOLVE-Workspace
RESOLVE Workspace
ClemsonRSRG/ace
Ajax.org Cloud9 Editor
ClemsonRSRG/RESOLVEWebIDE-v4
RESOLVE Web IDE developed using Play Framework 1.25