RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆26Feb 26, 2026Updated this week
Alternatives and similar repositories for RESOLVE
Users that are interested in RESOLVE are comparing it to the libraries listed below
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 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
- Fun is programming language that supports both the functional and the imperative styles of programming. It distinguishes these two styles…☆26Jan 4, 2023Updated 3 years ago
- Simulations work for the Underactuated Lightweight Tensegrity Robotic Assistive Spine. This repository includes code for the kinematics, …☆12Jan 11, 2019Updated 7 years ago
- A simple programming language☆12Mar 5, 2023Updated 2 years ago
- seminar series on data science, reproducible science and open source by @maxheld83☆15Apr 30, 2020Updated 5 years ago
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆34Updated this week
- Moved here: https://gitlab.com/librehealth/incubating-projects/mhbs/mHBS-trainer☆10Apr 15, 2020Updated 5 years ago
- Informed Rapidly-exploring Random Tree-Star with C# Programming☆10Nov 6, 2021Updated 4 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- 🧪 An imperative, dynamically-typed, interpreted, general-purpose programming language☆11Nov 23, 2025Updated 3 months ago
- Byeol Programming language.☆10Feb 22, 2026Updated last week
- Code base for Orpheus☆10Jun 1, 2022Updated 3 years ago
- A game server for Cube 2: Sauerbraten.☆12Oct 5, 2025Updated 4 months ago
- RRT*(RRT Star)-based algorithms for Path Planning of Autonomous Driving, in Python2.☆13Jun 28, 2020Updated 5 years ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- Syllabus for "Anthropology of Silicon Valley(s)" course☆16Apr 24, 2017Updated 8 years ago
- Virtual tour in a digital twin of Sabae city in Japan☆13Sep 9, 2021Updated 4 years ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- A platform for managing members of the Alumni Association.☆11Feb 25, 2026Updated last week
- Angular panels made simple☆11Feb 28, 2023Updated 3 years ago
- 🔮 Mastermind puzzle solver using Genetic Algorithm and Grid Search for optimization☆13Dec 21, 2023Updated 2 years ago
- Control system for Illini Hyperloop☆11Jan 7, 2023Updated 3 years ago
- Simple MapReduce implementation in Python, for text file parallel processing☆20Mar 3, 2012Updated 14 years ago
- Integrated model to calculate the effects of resilient foods in catastrophic events☆11May 20, 2025Updated 9 months ago
- POWER-KI programming language for Intelligent Applications (IA)☆16Feb 13, 2026Updated 2 weeks ago
- GPU-based Monte Carlo simulation package for PET☆11Oct 3, 2020Updated 5 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- 🤔自制一种小型的中文脚本语言.☆15Aug 29, 2023Updated 2 years ago
- Configuration Scripts and Settings for our Freifunk Firmware.☆16Dec 12, 2025Updated 2 months ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- A new generic object oriented programming language.☆10Jan 6, 2026Updated last month
- ☆12Nov 8, 2023Updated 2 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- This is genetic algorithm based trajectory planner for any n linked planar robotic arm☆10Nov 25, 2017Updated 8 years ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆11Jul 13, 2018Updated 7 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated last week