A semantic engineering framework for building verifiable and traceable software.
☆15Jul 6, 2026Updated 2 weeks ago
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 2 months ago
- A library for 2D, 3D, and 4D vectors in CL.☆30May 17, 2026Updated 2 months ago
- A curated list of awesome model-driven engineering resources.☆22Sep 21, 2024Updated last year
- A configuration using GokuRakuJoudo to generate Karabiner profile.☆42Feb 8, 2026Updated 5 months ago
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆17May 7, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The most advanced, lightweight, and undetectable C++ open-source utility client base for Minecraft. Built with ImGui and modular architec…☆26Mar 21, 2026Updated 3 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…☆23Updated this week
- Native PostgreSQL driver / client for Zig☆16Apr 26, 2026Updated 2 months ago
- The labs I use for my Beginning Java EE 7 Training http://www.antoniogoncalves.org☆11Jan 16, 2017Updated 9 years ago
- 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
- Babysteps blog☆38Updated this week
- 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
- ☆11Jun 20, 2023Updated 3 years ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 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.
- ☆15Jul 14, 2026Updated last week
- ☆25Updated this week
- MCP server bridging AI assistants to CATIA Magic / Cameo Systems Modeler for SysML/UML model creation, querying, and manipulation☆26May 5, 2026Updated 2 months 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
- SysML Designer based on Obeo Designer.☆37Jan 30, 2019Updated 7 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- Solutions to all 25 Advent of Code problems 2023 in Rust!☆33Dec 1, 2024Updated last year
- ☆20May 25, 2026Updated last month
- 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.
- wps的ai插 件☆29Updated this week
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27May 29, 2026Updated last month
- AI-bloat defense CLI for Python teams: deterministic code review, cleanup forecasts, and spec/contract evidence for AI-assisted and brown…☆17Updated this week
- Hoofy — AI development companion MCP server. Persistent memory, spec-driven development, adaptive change pipeline, Clarity Gate. 32 tools…☆15Mar 12, 2026Updated 4 months ago
- ARM is Turing-complete without data fetches☆20Mar 22, 2018Updated 8 years ago
- Magento 2 SEO Suite | All-in-one FREE SEO Extension☆10Feb 12, 2023Updated 3 years ago
- Virtual Satellite Core - Baseline Framework and IDE Tools☆39Feb 17, 2026Updated 5 months ago
- PhysPatch performs physical memory scanning and patching of the entire Windows Kernel using DMA☆14Nov 10, 2024Updated last year
- The gist at https://gist.github.com/vjt/5183305, just as a repo☆23May 18, 2025Updated last year
- 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.
- 🚀 Cloudflare D1 Database Admin Dashboard ⚡ Modern interface with zero setup required 💫☆17Dec 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
- Rust library for conversion to/from proquints☆14Feb 9, 2018Updated 8 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
- Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…☆14May 10, 2023Updated 3 years ago
- PJLink is a standard for controlling data projectors.☆10Jan 27, 2018Updated 8 years ago