A semantic engineering framework for building verifiable and traceable software.
☆22Sep 18, 2026Updated this week
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:
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 4 months ago
- 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
- 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
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- ☆15Jul 14, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆23May 25, 2026Updated 3 months ago
- 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 6 months ago
- Magento 2 SEO Suite | All-in-one FREE SEO Extension☆10Feb 12, 2023Updated 3 years ago
- PhysPatch performs physical memory scanning and patching of the entire Windows Kernel using DMA☆13Nov 10, 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☆13Feb 9, 2018Updated 8 years ago
- A library for minimizing the effects of confounding covariates☆15Sep 8, 2026Updated last week
- Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…☆13May 10, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 🐾 Complete REST API for ClawHub skills marketplace data☆16Apr 6, 2026Updated 5 months ago
- Code Intelligence Engine — indexes your codebase and gives AI assistants deep understanding via MCP (semantic search, call graphs, 20+ to…☆19Feb 14, 2026Updated 7 months ago
- Stateless LLM runtime that dynamically routes, loads, executes, and unloads models per request with bounded VRAM caching and intelligent …☆42Apr 12, 2026Updated 5 months ago
- Portable logo creator with vector animations and BYOF (bring your own fonts) support; an experiment in vibe coding.☆14Jun 11, 2025Updated last year
- CLI task manager for AI agents with MCP server support☆15Feb 28, 2026Updated 6 months ago
- Rust Memory Hypervisor implementing asynchronous metadata offloading, hardware-enforced spatial safety, and virtual memory page compactio…☆14Apr 2, 2026Updated 5 months ago
- Spec-driven development for AI coding agents. Spektacular helps you to generate specifications, the plan, and finally generate the code. …☆20Updated this week
- Sandboxed code execution for LLMs, powered by Nix☆16Jul 23, 2026Updated last month
- UI chat component for agentic AI applications☆17Jan 23, 2026Updated 7 months ago
- 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.
- The world's first AI-native systems programming language. Zero keywords, pattern matching, UFC. Following Cursed Lang (first AI esoteric …☆15Jun 3, 2026Updated 3 months ago
- DeepSeek-V4-Flash on a Raspberry Pi 5 (8GB)☆23Jun 9, 2026Updated 3 months ago
- PHP_CodeSniffer maintainability standard☆14Oct 10, 2016Updated 9 years ago
- 📊 Automated hourly benchmarks for 20+ NVIDIA NIM models — interactive dashboard, zero infra, self-hostable. Open-source & community-driv…☆50Updated this week
- A lightweight, secure AI agent harness for your entire development lifecycle, fully written in Rust☆16Mar 3, 2026Updated 6 months ago
- Vectorless code retrieval for AI coding agents — search code by business intent (@intent, @domainRule) over a Tree-sitter graph. Built f…☆17Aug 21, 2026Updated 3 weeks ago
- Decision orchestration and reconciliation for AI changes.☆44Mar 30, 2026Updated 5 months ago
- PHP library for Monobank API☆11Apr 19, 2023Updated 3 years ago
- Build real software step-by-step with Claude, Codex, OpenCode, Gemini, Cursor, and other agents☆16Mar 29, 2026Updated 5 months ago
- 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.
- The operating system for running software in production☆16Updated this week
- AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.☆24Oct 27, 2025Updated 10 months ago
- FSPEC: The Spec-Driven, Multi-Agent Harness. It is infrastructure for the "Dark Factory" - the emerging model of fully autonomous softwar…☆91Updated this week
- Simple but reliable memory allocator for embedded Rust and #![no_std]☆13Sep 19, 2024Updated 2 years ago
- Self-evolving AI daemon in Go with fully generative UI. LLM generates unique HTML/ANSI interfaces from scratch for every response — not t…☆17Apr 9, 2026Updated 5 months ago
- A Box-like type in Rust that avoids allocations by storing small values in-place☆15Jun 15, 2025Updated last year
- Polyglot, deterministic, sandboxed WASM runtime. Run or compile any language to one sealed, reproducible artifact.☆21Updated this week