RSRG
RESOLVE Software Research Group at Clemson University
- Clemson, SC
- https://www.cs.clemson.edu/resolve/
Pinned Loading
Repositories
Showing 10 of 12 repositories
- beginToReason2 Public
An improved version of the tutor for teaching students to reason about their code.
- RESOLVE Public
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
- vim-resolve Public Forked from lilyinstarlight/vim-resolve
a RESOLVE syntax and execution plugin for Neovim
- RESOLVEWebAPI Public
This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
- jetbrains-plugin-resolve Public
A plugin that provides support for the RESOLVE language in jetbrains IDEs
Top languages
Loading…
Most used topics
Loading…