RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆27Jul 22, 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 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
- The kernel DCO and Signed-off-by split out in a project-agnostic branch☆23Mar 5, 2024Updated 2 years ago
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Applied operating system - an operating system kernel written in the ATS programming language.☆47Mar 29, 2012Updated 14 years ago
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 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
- ☆11Jun 11, 2019Updated 7 years ago
- Christian Buchner's & Christian H.'s CUDA miner project☆12Jul 22, 2014Updated 12 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
- 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.
- Elixir-based SPA sites without the SPA☆10Jan 6, 2023Updated 3 years ago
- The direct 2D api used from rust.☆10Jul 30, 2016Updated 10 years ago
- The code for various Counter-Strike: Global Offensive hacks☆16Jul 7, 2014Updated 12 years ago
- Yet Another Indent Finder, Almost...☆22Apr 10, 2020Updated 6 years ago
- ☆18Feb 20, 2024Updated 2 years ago
- Birkana SVG generator.☆13Feb 25, 2019Updated 7 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
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A dependency checker tool from The Linux Foundation☆15May 6, 2020Updated 6 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
- Google's list of Certificate Transparency logs as a rust crate for use with sct.rs☆14Feb 17, 2023Updated 3 years ago
- Telegram Desktop messaging app☆12Aug 8, 2015Updated 11 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- Very tiny and selective implementation of STL for Windows NT kernel mode drivers☆18Jun 22, 2021Updated 5 years ago
- Tools for working with arduino without launching the IDE☆18Oct 16, 2013Updated 12 years ago
- Multiplayer node-based data frame/SQL app☆14Mar 26, 2023Updated 3 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
- Improve table testing in Rust.☆10Apr 9, 2018Updated 8 years ago