{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:golang/github.com/viperproject/verified_go_stdlib","name":"github.com/viperproject/verified_go_stdlib","description":"Verification of parts of the Go Standard Library","version":"v0.0.0-20260311134156-12d6eca7da21","softwareVersion":"v0.0.0-20260311134156-12d6eca7da21","codeRepository":"https://github.com/viperproject/verified_go_stdlib","issueTracker":"https://github.com/viperproject/verified_go_stdlib/issues","url":"https://github.com/viperproject/verified_go_stdlib","programmingLanguage":{"@type":"ComputerLanguage","name":"Go"},"dateCreated":"2026-03-11","dateModified":"2026-03-11","datePublished":"2026-03-11","copyrightYear":2026,"downloadUrl":"https://proxy.golang.org/cached-only/github.com/viperproject/verified_go_stdlib/@v/v0.0.0-20260311134156-12d6eca7da21.zip","softwareHelp":{"@type":"WebSite","url":"https://pkg.go.dev/github.com/viperproject/verified_go_stdlib#section-documentation"},"applicationCategory":"go","runtimePlatform":"go","developmentStatus":"active","sameAs":["https://pkg.go.dev/github.com/viperproject/verified_go_stdlib"],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":1}