niswegmann/copilot-cbmc
cbmc based tool for verifying copilot programs
Public GitHub Catalog
Discovered Sep 24, 2026
niswegmann / copilot-c99
A C99-backend for Copilot
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1839191GitHub System ID
niswegmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from niswegmann
niswegmann/pp
A pretty-printer
niswegmann/dtext
Difference texts
niswegmann/murmurhash3
Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.