RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆27Aug 25, 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:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 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
- 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
- Various extensions for midori☆11Dec 26, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- MircoSoft Detours 4.0.1，MIT License，Support X86，X64，ARM，IA64☆12Apr 23, 2018Updated 8 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- ☆12Aug 28, 2017Updated 9 years ago
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- This is a modified Windows Research Kernel for Shorthorn Project☆13Mar 2, 2017Updated 9 years ago
- Some of example code that I have collected while learning☆10Sep 25, 2016Updated 9 years ago
- ☆16Jul 26, 2024Updated 2 years ago
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆40Updated this week
- 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.
- wiznote为知笔记☆12Dec 1, 2014Updated 11 years ago
- collab-dev - Collaboration Metrics for Code Reviews☆23May 12, 2025Updated last year
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- A dependency checker tool from The Linux Foundation☆15May 6, 2020Updated 6 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
- midfunction d3d basehook for winxp, win7, win8, win10☆17Jan 21, 2019Updated 7 years ago
- Telegram Desktop messaging app☆12Aug 8, 2015Updated 11 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 8 years ago
- FreeGrep is a BSD-licensed implementation of grep(1)☆18Nov 10, 2019Updated 6 years ago
- ARM is Turing-complete without data fetches☆23Mar 22, 2018Updated 8 years ago
- Very tiny and selective implementation of STL for Windows NT kernel mode drivers☆18Jun 22, 2021Updated 5 years ago
- Lists all visible objects in the Windows kernel object namespace, a command-line WinObj☆16May 27, 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
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- Generate SDKs from Unreal Engine games (UE1 - 4 supported).☆11Nov 4, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Sep 25, 2017Updated 8 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Jun 4, 2026Updated 2 months ago
- Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.☆14Sep 27, 2016Updated 9 years ago
- 360官方出品的截图软件，套个马甲可以单独使用☆17Apr 4, 2019Updated 7 years ago
- Docker images and docker-compose recipes with sonar-scala plugin for SonarQube providing support for Scala with Scoverage, Scalastyle and…☆26May 10, 2022Updated 4 years ago
- Moved here: https://gitlab.com/librehealth/incubating-projects/mhbs/mHBS-trainer☆10Apr 15, 2020Updated 6 years ago
- Boost.Any with support for dynamic_any_cast☆22Aug 7, 2011Updated 15 years ago