RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆26Feb 26, 2026Updated last month
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
- How to convert MDS trip data to anonymized open data for city governments.☆10Jul 6, 2020Updated 5 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- CMake project management plugin for VIM (Vi IMproved)☆19Aug 30, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- OCaml bindings for clang☆23May 1, 2018Updated 7 years ago
- ☆11Jun 11, 2019Updated 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
- 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
- Unofficial binary package repository for KISS Linux☆11Jun 3, 2022Updated 3 years ago
- ☆12Aug 28, 2017Updated 8 years ago
- 🗿 オモコロラジオの JSON / 非公式 Podcast フィード☆14Updated this week
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Realtime Message Bus for the Web. Lua Implementation☆33Jun 2, 2015Updated 10 years ago
- ☆14Jun 23, 2017Updated 8 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
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 9 years ago
- Quick RPC latency benchmark of Cap'n Proto RPC vs. Apache Thrift vs. ZeroC Ice☆19Dec 14, 2013Updated 12 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆36Feb 25, 2026Updated last month
- wiznote为知笔记☆12Dec 1, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆11Sep 7, 2017Updated 8 years ago
- Yet Another Indent Finder, Almost...☆21Apr 10, 2020Updated 6 years ago
- Birkana SVG generator.☆13Feb 25, 2019Updated 7 years ago
- Prolog like language using lojban☆15Oct 24, 2014Updated 11 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Cross-platform ssh-server based chat program, with data persisted into relational databases of MySQL, PostgreSQL or Sqlite3.☆11Jan 31, 2021Updated 5 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- midfunction d3d basehook for winxp, win7, win8, win10☆17Jan 21, 2019Updated 7 years ago
- Docker image for running Vivado in a 64-bit Debian Jessie container☆13Mar 17, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Telegram Desktop messaging app☆12Aug 8, 2015Updated 10 years ago
- ☆21Aug 7, 2015Updated 10 years ago
- Simple auto-mounting daemon for gvfs.☆17Sep 30, 2018Updated 7 years ago
- User-mode process cross-checking utility intended to detect naive malware hiding itself by hooking IAT/EAT.☆19Mar 3, 2016Updated 10 years ago
- this repository contains a list of known other repositories only☆33Jan 22, 2015Updated 11 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- Improve table testing in Rust.☆10Apr 9, 2018Updated 8 years ago