ClemsonRSRG / RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆24Updated this week
Related projects ⓘ
Alternatives and complementary repositories for RESOLVE
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- Convert Java bytecode to firm IR☆18Updated 7 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 9 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 7 months ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 3 years ago
- The semantics of Java in K☆19Updated 3 years ago
- ☆10Updated 8 years ago
- An educational JS virtual machine based on Eclipse OMR☆45Updated last year
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆8Updated 3 years ago
- Cache Oblivious Lookahead Arrays☆26Updated 11 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- ☆19Updated 7 years ago
- Simple blockchain in Ada☆21Updated 4 years ago
- Poplog☆21Updated 13 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 10 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆14Updated 2 months ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 8 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated this week
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- libFirm regression testsuite☆17Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- SOM - Simple Object Machine (plain Java implementation)☆18Updated 4 months ago
- Dynamo Ada Application Code Generator☆17Updated 3 weeks ago
- A Java version of LLVM Core by Hao Liu☆22Updated 11 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago