ClemsonRSRG / RESOLVELinks
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆25Updated 3 weeks ago
Alternatives and similar repositories for RESOLVE
Users that are interested in RESOLVE are comparing it to the libraries listed below
Sorting:
- A compiler for an Ada-like language☆32Updated 8 months ago
- Simple blockchain in Ada☆21Updated 3 months ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 4 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Updated 4 months ago
- Framework for platform-independent SPARK components☆24Updated 5 years ago
- Continuation Passing C☆114Updated 6 years ago
- A textual language for binary data.☆37Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- The semantics of Java in K☆19Updated 4 years ago
- The Slate programming language☆149Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- The fluffy programming language main repository☆25Updated 12 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- An attribute grammar-based programming language for composable language extensions☆68Updated last week
- Self-hosting compiler for the Grace programming language☆42Updated last year
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆16Updated 6 months ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- AnyDSL Runtime Library☆23Updated last month
- Dynamo Ada Application Code Generator☆17Updated last month
- RFCs for changes to Pony☆62Updated 11 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- Language creation framework.☆89Updated this week
- Modernized Sisal Interpreter☆29Updated 7 years ago
- SPARK 2014 re-implementation of the TweetNaCl crypto library☆126Updated 9 months ago
- The Whiley Compiler (WyC)☆226Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- ☆58Updated 8 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- An exercise in programming language design and implementation.☆19Updated 4 years ago