gao

63 open systems-engineering knowledge packs (+2 signposts) for coding agents: licence-vetted NASA, DoD, FAA, NIST, GAO, SEBoK and more as on-demand Agent Skills.

Convert Gowin GAO CSV captures to VCD waveform format.

The Gao programming language

🔉 Ei o gão tu ta ond

Evidence-first AI automation for Gowin FPGA and AE350 — simulation, formal verification, implementation, HIL, JTAG mailbox, and headless GAO.

AI Agent Skill for auditing U.S. Federal Government procurement records (RFPs, proposals, SSDDs, debriefings) to identify, validate, and draft defensible GAO and COFC bid protest grounds under the FAR.

Ohlone College | CS170 | Object Oriented with Java | Professor Gao

我的仓库

GovTech AI Incident Card profile. 18 event types (most extensive of any vertical) + 4-tier severity + 10 regulator-referral pathways with evaluation-state tracking. Covers OMB M-24-10 + agency civil rights + GAO + OIG + Section 508 + ADA Title II + FedRAMP + congressional + Federal AI Use Case Inventory correction.

Hosted MCP server for federal oversight intelligence — GAO, IG, FAC, SAM.gov via 23 tools. Endpoint: api.heimdallgov.com/mcp/sse

AI Defense Pipeline: Automates extraction and analysis of GAO reports. It uses GenAI and data engineering to turn unstructured PDFs into a structured, searchable, and actionable knowledge base.

Version-bound headless runtime for the gwflow-gao-bridge/1 protocol.

This package downloads all public GAO reports and returns a cleaned dataset as well as the original files