RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆27Sep 10, 2026Updated last 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:
- 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 10 years ago
- ☆11Aug 28, 2015Updated 11 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- A Powershell script for signing or adding signatures to tap-windows6 drivers☆10Apr 18, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MircoSoft Detours 4.0.1，MIT License，Support X86，X64，ARM，IA64☆12Apr 23, 2018Updated 8 years ago
- Simple tool to add imports recovered by VMSweeper (by Vamit) to VMProtect dump file☆15Jun 27, 2017Updated 9 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- ☆12Aug 28, 2017Updated 9 years ago
- An extension for bonfire handling social functions☆19Updated this week
- Some of example code that I have collected while learning☆10Sep 25, 2016Updated 9 years ago
- Java Agent Library for All Jillegal Frameworks☆14Dec 7, 2015Updated 10 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This repository is an mbed blinky demo with rust for K64F☆14May 6, 2015Updated 11 years ago
- collab-dev - Collaboration Metrics for Code Reviews☆23May 12, 2025Updated last year
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Jun 7, 2010Updated 16 years ago
- WxWidgets for Elixir☆10Sep 6, 2017Updated 9 years ago
- Simple Parse Cloud Code project using Babel.js☆12Sep 5, 2015Updated 11 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
- Modifies the code of the RtlUserThreadStart callback and reads the arguments passed to it. Then it changes the initial execution argument…☆16Mar 4, 2018Updated 8 years ago
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- midfunction d3d basehook for winxp, win7, win8, win10☆17Jan 21, 2019Updated 7 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago
- Website for The State of FOSS in India report.☆11Aug 20, 2021Updated 5 years ago
- Multiplayer node-based data frame/SQL app☆14Mar 26, 2023Updated 3 years ago
- Interprocess communication library, providing the ability to call functions from each other☆20Oct 3, 2019Updated 6 years ago
- time's prettier cousin☆16Dec 4, 2018Updated 7 years ago
- A Rust implementation of the first project from Tim Hartnell's book "Creating Adventure Games on Your Computer".☆12May 28, 2017Updated 9 years ago
- RFCs for changes to Rust☆11Jul 17, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lists all visible objects in the Windows kernel object namespace, a command-line WinObj☆16May 27, 2018Updated 8 years ago
- A Rust library and tools providing easy access to the retdec.com decompilation service through their REST API.☆13Jun 17, 2018Updated 8 years ago
- Programming with Spaces in Go☆15Apr 29, 2018Updated 8 years ago
- If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.☆16May 21, 2024Updated 2 years ago
- Node.js Gab.com API Client☆12Dec 9, 2022Updated 3 years ago
- ☆20Aug 7, 2015Updated 11 years ago
- Generate SDKs from Unreal Engine games (UE1 - 4 supported).☆11Nov 4, 2017Updated 8 years ago