RESOLVE Web IDE developed using Play Framework 2.x
A tutor for teaching students to reason about their code.
RESOLVE (REusable SOftware Language with VErification) is a programming and specification language designed for verifying correctness of object oriented programs.
A cleaned-up, stripped-down iteration of the RESOLVE compiler built on top of an ANTLRv4 grammar
RESOLVE Web IDE developed using Play Framework 1.25
A plugin that provides support for the RESOLVE language in jetbrains IDEs
This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
Ajax.org Cloud9 Editor