niswegmann/copilot-cbmc
cbmc based tool for verifying copilot programs
Public GitHub Catalog
Discovered Sep 24, 2026
niswegmann / dtext
Difference texts
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.
#1978449GitHub System ID
niswegmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from niswegmann
niswegmann/pp
A pretty-printer
niswegmann/murmurhash3
Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.
niswegmann/copilot-discussion
Public repository.