A semantic engineering framework for building verifiable and traceable software.
☆14Jul 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 2 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 hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The most advanced, lightweight, and undetectable C++ open-source utility client base for Minecraft. Built with ImGui and modular architec…☆25Mar 21, 2026Updated 4 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…☆22Updated this 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☆16Apr 26, 2026Updated 3 months ago
- Babysteps blog☆38Jul 16, 2026Updated 3 weeks ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆25Updated 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
- 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.
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- ☆15Jul 14, 2026Updated 3 weeks ago
- 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☆13Mar 27, 2026Updated 4 months ago
- MCP server bridging AI assistants to CATIA Magic / Cameo Systems Modeler for SysML/UML model creation, querying, and manipulation☆30May 5, 2026Updated 3 months ago
- ☆23May 25, 2026Updated 2 months ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27Jul 22, 2026Updated 2 weeks ago
- Solutions to all 25 Advent of Code problems 2023 in Rust!☆33Dec 1, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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（含国产系统）。☆38Jul 21, 2026Updated 3 weeks ago
- ARM is Turing-complete without data fetches☆21Mar 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 4 months ago
- Virtual Satellite Core - Baseline Framework and IDE Tools☆39Feb 17, 2026Updated 5 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
- 🚀 Cloudflare D1 Database Admin Dashboard ⚡ Modern interface with zero setup required 💫☆17Dec 22, 2024Updated last year
- 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.
- ☆40Jul 15, 2026Updated 3 weeks 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
- Kata del mes de Abril de 2011: Bowling Game☆64Jun 17, 2015Updated 11 years ago
- A library for minimizing the effects of confounding covariates☆15May 28, 2025Updated last year
- Rust library for conversion to/from proquints☆13Feb 9, 2018Updated 8 years ago
- 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