RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆26Feb 26, 2026Updated 3 weeks ago
Alternatives and similar repositories for RESOLVE
Users that are interested in RESOLVE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 years ago
- The kernel DCO and Signed-off-by split out in a project-agnostic branch☆23Mar 5, 2024Updated 2 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- A basic ESP8266 or ESP32 Wifi client to connect to a local OctoPrint system running on a Raspberry Pi and make requests to the OctoPri…☆15Nov 25, 2018Updated 7 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- CMake project management plugin for VIM (Vi IMproved)☆19Aug 30, 2014Updated 11 years ago
- ☆11Jun 11, 2019Updated 6 years ago
- ☆11Jan 8, 2020Updated 6 years ago
- Tiny fork of TinySCHEME to support no-hassle building on Mac OS X (plus a bridge to Objective-C, but use CocoaScheme instead of this) WAR…☆15Dec 13, 2009Updated 16 years ago
- A GNOME Shell extension that forces all application windows to use the dark GTK theme variant.☆10Jun 12, 2015Updated 10 years ago
- Vim thingies☆11Jan 16, 2019Updated 7 years ago
- MircoSoft Detours 4.0.1，MIT License，Support X86，X64，ARM，IA64☆12Apr 23, 2018Updated 7 years ago
- Simple tool to add imports recovered by VMSweeper (by Vamit) to VMProtect dump file☆14Jun 27, 2017Updated 8 years ago
- ☆12Aug 28, 2017Updated 8 years ago
- 🗿 オモコロラジオの JSON / 非公式 Podcast フィード☆14Updated this week
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- A dependency checker tool from The Linux Foundation☆15May 6, 2020Updated 5 years ago
- ☆14Jun 23, 2017Updated 8 years ago
- Firefox extension☆21May 16, 2014Updated 11 years ago
- Some of example code that I have collected while learning☆10Sep 25, 2016Updated 9 years ago
- This repository is an mbed blinky demo with rust for K64F☆14May 6, 2015Updated 10 years ago
- This is a modified Windows Research Kernel for Shorthorn Project☆13Mar 2, 2017Updated 9 years ago
- Emacs lisp helper mode for ReVIEW☆28Mar 11, 2026Updated last week
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆34Feb 25, 2026Updated 3 weeks ago
- Packaging of the nix package manager for Debian☆17Nov 1, 2019Updated 6 years ago
- ☆16May 14, 2025Updated 10 months ago
- 常用代码类☆13May 31, 2014Updated 11 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- Modifies the code of the RtlUserThreadStart callback and reads the arguments passed to it. Then it changes the initial execution argument…☆15Mar 4, 2018Updated 8 years ago
- ☆11Sep 7, 2017Updated 8 years ago
- Yet Another Indent Finder, Almost...☆21Apr 10, 2020Updated 5 years ago
- Prolog like language using lojban☆15Oct 24, 2014Updated 11 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- A Haskell memoization library☆31Jan 11, 2024Updated 2 years ago