ClemsonRSRG / RESOLVELinks
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆25Updated last month
Alternatives and similar repositories for RESOLVE
Users that are interested in RESOLVE are comparing it to the libraries listed below
Sorting:
- 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
- Studio is an interactive software diagnostics environment☆121Updated 4 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- Simple blockchain in Ada☆21Updated last month
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- ☆34Updated 5 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated 2 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- The Slate programming language☆147Updated 2 years ago
- Compiler and tools for the L programming language☆71Updated last year
- The Lark programming language.☆58Updated 15 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- Continuation Passing C☆115Updated 6 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 11 years ago
- The Kollos project [ARCHIVED]☆30Updated 3 years ago
- A Java parser combinator library written with an unmatched feature set.☆128Updated 4 years ago
- RFCs for changes to Pony☆61Updated 9 months ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- ☆57Updated 8 years ago
- A next-generation IDE that makes programming more efficient☆97Updated 3 years ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Official mirror of the Muen Separation Kernel repository☆90Updated last week
- Incremental garbage collector library in C for use by high level language implementions.☆110Updated 9 years ago
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆16Updated 4 months ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 4 months ago