A semantic engineering framework for building verifiable and traceable software.
☆17Jul 6, 2026Updated last month
Alternatives and similar repositories for reqvire
Users that are interested in reqvire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- drawvg filter for FFmpeg☆15May 6, 2026Updated 3 months ago
- A library for 2D, 3D, and 4D vectors in CL.☆30May 17, 2026Updated 3 months ago
- A configuration using GokuRakuJoudo to generate Karabiner profile.☆42Feb 8, 2026Updated 6 months ago
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated last year
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The most advanced, lightweight, and undetectable C++ open-source utility client base for Minecraft. Built with ImGui and modular architec…☆25Mar 21, 2026Updated 5 months ago
- A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified…☆22Aug 24, 2026Updated last week
- Custom Command and Control (C3). A framework for rapid prototyping of custom C2 channels, while still providing integration with existing…☆11Oct 6, 2020Updated 5 years ago
- The labs I use for my Beginning Java EE 7 Training http://www.antoniogoncalves.org☆11Jan 16, 2017Updated 9 years ago
- Native PostgreSQL driver / client for Zig☆16Updated this week
- Babysteps blog☆38Aug 12, 2026Updated 2 weeks ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆26Updated this week
- ☆11Jun 20, 2023Updated 3 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- ☆15Jul 14, 2026Updated last month
- Use a local instance of retdec to decompile functions in radare2☆22Dec 3, 2021Updated 4 years ago
- Java web testing framework☆21Jun 19, 2020Updated 6 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- MCP server bridging AI assistants to CATIA Magic / Cameo Systems Modeler for SysML/UML model creation, querying, and manipulation☆36May 5, 2026Updated 3 months ago
- ☆23May 25, 2026Updated 3 months ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27Updated this week
- Solutions to all 25 Advent of Code problems 2023 in Rust!☆33Dec 1, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- AI-bloat defense CLI for Python teams: deterministic code review, cleanup forecasts, and spec/contract evidence for AI-assisted and brown…☆17Updated this week
- WPS Office 全家桶（文字/表格/演示/PDF）AI 助手：挂 OpenAI 兼容 / Anthropic / Codex 多家模型，AI 通过工具调用直接读写文档；支持生图、MCP、中英双语，覆盖 Windows / macOS / Linux（含国产系统）。☆46Aug 11, 2026Updated 2 weeks ago
- ARM is Turing-complete without data fetches☆23Mar 22, 2018Updated 8 years ago
- Hoofy — AI development companion MCP server. Persistent memory, spec-driven development, adaptive change pipeline, Clarity Gate. 32 tools…☆15Mar 12, 2026Updated 5 months ago
- Virtual Satellite Core - Baseline Framework and IDE Tools☆39Feb 17, 2026Updated 6 months ago
- Magento 2 SEO Suite | All-in-one FREE SEO Extension☆10Feb 12, 2023Updated 3 years ago
- The gist at https://gist.github.com/vjt/5183305, just as a repo☆23May 18, 2025Updated last year
- PhysPatch performs physical memory scanning and patching of the entire Windows Kernel using DMA☆13Nov 10, 2024Updated last year
- ☆42Jul 15, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 🚀 Cloudflare D1 Database Admin Dashboard ⚡ Modern interface with zero setup required 💫☆18Dec 22, 2024Updated last year
- Skyfire is a Model-Based Testing (MBT) tool that generates Cucumber test scenarios from a UML behavioral diagram.☆14Sep 27, 2016Updated 9 years ago
- Kata del mes de Abril de 2011: Bowling Game☆64Jun 17, 2015Updated 11 years ago
- Rust library for conversion to/from proquints☆13Feb 9, 2018Updated 8 years ago
- A library for minimizing the effects of confounding covariates☆15May 28, 2025Updated last year
- PJLink is a standard for controlling data projectors.☆10Jan 27, 2018Updated 8 years ago
- SysML Designer based on Obeo Designer.☆37Jan 30, 2019Updated 7 years ago