Scoring Threat Objects Analysis Tool
-
Updated
Dec 9, 2022 - JavaScript
#
software-assurance
Here are 14 public repositories matching this topic...
Software build assurance for coding agents - enforced red-first TDD, self-tested gates, calibrated independent verification, and commit-bound evidence.
mutation-testing developer-tools code-quality test-driven-development build-tools ai-agents software-assurance slsa ai-assisted-development github-copilot coding-agents claude-code agentic-coding
-
Updated
Aug 2, 2026 - JavaScript
A lightweight fuzzing tool to support testing other software or devices for flaws
-
Updated
Aug 2, 2024 - Python
AI proposes. Humans decide. Source-available AI assurance/control plane for governed code change: agent identity, scoped authorization, policy gates, PR/CI evidence binding, replayable evidence bundles, chained receipts, traceability, and human review.
ci-cd provenance traceability human-in-the-loop devsecops software-assurance policy-enforcement policy-as-code source-available code-repair ai-governance auditability runtime-assurance ai-coding-agents model-routing controlled-execution evidence-bundles workspace-isolation ai-agent-safety pr-evidence
-
Updated
Jun 17, 2026 - Python
Reusable LabVIEW compare action with stewarded validation, release, and downstream adoption workflows.
-
Updated
Jul 27, 2026 - JavaScript
Azure Workbook for monitoring Software Assurance compliance across Arc-enabled servers and SQL Server instances
-
Updated
Nov 26, 2025
OMG Knowledge Discovery Metamodel (KDM) 1.4 (formal/16-09-01) / ISO/IEC 19506 — extensible TypeScript base classes and interfaces for the KDM metamodel. Pure KDM; downstream consumers extend through TypeScript inheritance.
typescript metamodel omg aml adm software-assurance kdm software-modernization agenihub knowledge-discovery-metamodel iso-19506 architecture-driven-modernization
-
Updated
May 10, 2026 - TypeScript
Track Azure Hybrid Benefit usage and Software Assurance entitlement consumption with this Azure Monitor Workbook. Monitor core-based licensing across Windows Server and SQL Server workloads.
-
Updated
Jan 7, 2026
Security related improvements to be contributed to an open source software project
-
Updated
Dec 6, 2017 - HTML
Atalanta is a mathematical AI company building provably correct decision-making for the world's most important missions. Its flagship platform, Argo, is described as the first software understanding platform - it uses mathematical proof and formal verification to establish safety, security, and performance guarantees for software-defined and…
company artificial-intelligence cybersecurity formal-verification defense autonomous-systems software-assurance national-security apis-json
-
Updated
Aug 3, 2026
A local-first trusted change control plane for multi-agent software work.
-
Updated
Jul 20, 2026 - JavaScript
Behavioral Provenance Record (BPR) — A vendor-neutral conformance specification for traceable AI-generated software
provenance traceability sdlc conformance software-assurance ai-governance ai-generated-code requirements-traceability behavioral-provenance
-
Updated
Jun 16, 2026 - Python
Behavioral Assurance Runtime — a lightweight, model-optional Rust assurance daemon that learns intended behavior, prepares human-gated repairs, and independently verifies them.
-
Updated
Jul 29, 2026 - Rust
Universal Governance Kernel (UGK): a stdlib-only Python constitutional governance substrate with receipt-before-effect execution, hash-chained receipts, fail-closed verification, and release continuity proofs.
python provenance zero-dependency governance audit-trail hash-chain software-assurance verifiable-computing fail-closed cryptographic-verification governance-kernel admissibility ugk receipt-chain constitutional-computing
-
Updated
Jun 25, 2026 - Python
Improve this page
Add a description, image, and links to the software-assurance topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-assurance topic, visit your repo's landing page and select "manage topics."