ClemsonRSRG / RESOLVELinks
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆25Updated this week
Alternatives and similar repositories for RESOLVE
Users that are interested in RESOLVE are comparing it to the libraries listed below
Sorting:
- Blech is a language for developing reactive, real-time critical embedded software.☆72Updated 3 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated last month
- Self-hosting compiler for the Grace programming language☆41Updated last year
- Official mirror of the Muen Separation Kernel repository☆88Updated 2 weeks ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 3 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 2 months ago
- ☆34Updated 4 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- The Tuplex programming language tools.☆16Updated 4 years ago
- Simple blockchain in Ada☆21Updated last week
- The Lark programming language.☆58Updated 15 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Compiler and tools for the L programming language☆72Updated last year
- The fluffy programming language main repository☆25Updated 12 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Continuation Passing C☆114Updated 6 years ago
- AnyDSL Runtime Library☆22Updated 3 months ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago