RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆27Jul 22, 2026Updated this week
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 8 years ago
- How to convert MDS trip data to anonymized open data for city governments.☆10Jul 6, 2020Updated 6 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 12 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- Vim thingies☆11Jan 16, 2019Updated 7 years ago
- A simple utility to generate real File and Active Directory activity in lab environments for the purposes of monitoring changes and detec…☆11Dec 4, 2018Updated 7 years ago
- 注意力与知识管理群专用版本库☆12Jun 28, 2023Updated 3 years ago
- ☆10Oct 21, 2021Updated 4 years ago
- A Powershell script for signing or adding signatures to tap-windows6 drivers☆10Apr 18, 2019Updated 7 years ago
- Simple tool to add imports recovered by VMSweeper (by Vamit) to VMProtect dump file☆14Jun 27, 2017Updated 9 years ago
- Unofficial binary package repository for KISS Linux☆11Jun 3, 2022Updated 4 years ago
- ☆12Aug 28, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Christian Buchner's & Christian H.'s CUDA miner project☆12Jul 22, 2014Updated 12 years ago
- An extension for bonfire handling social functions☆18Updated this week
- Some of example code that I have collected while learning☆10Sep 25, 2016Updated 9 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 9 years ago
- The code for various Counter-Strike: Global Offensive hacks☆16Jul 7, 2014Updated 12 years ago
- An example for building and deploying an Elixir application to Fly using a Dockerfile and SQLite!☆10Jul 19, 2022Updated 4 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- 常用代码类☆13May 31, 2014Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Yet Another Indent Finder, Almost...☆22Apr 10, 2020Updated 6 years ago
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆37Updated this week
- This repository is an mbed blinky demo with rust for K64F☆14May 6, 2015Updated 11 years ago
- ☆14Jun 23, 2017Updated 9 years ago
- wiznote为知笔记☆12Dec 1, 2014Updated 11 years ago
- A translation of GHC's Users Guide to Japanese☆15Aug 30, 2016Updated 9 years ago
- dip hook with overlay, can bypass old anticheats☆16Jan 20, 2019Updated 7 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- midfunction d3d basehook for winxp, win7, win8, win10☆17Jan 21, 2019Updated 7 years ago
- Telegram Desktop messaging app☆12Aug 8, 2015Updated 10 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 8 years ago
- ☆16Mar 25, 2013Updated 13 years ago