[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-103351":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":17,"stars7d":17,"stars30d":17,"stars90d":16,"forks30d":16,"starsTrendScore":18,"compositeScore":19,"rankGlobal":10,"rankLanguage":10,"license":20,"archived":21,"fork":21,"defaultBranch":22,"hasWiki":21,"hasPages":21,"topics":23,"createdAt":10,"pushedAt":30,"updatedAt":31,"readmeContent":10,"aiSummary":10,"trendingCount":16,"starSnapshotCount":16,"syncStatus":15,"lastSyncTime":32,"discoverSource":33},103351,"oss-verify-proofs","theorem-labs\u002Foss-verify-proofs","theorem-labs","Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them","https:\u002F\u002Ftheorem.dev\u002Foss-verify\u002F",null,"Rocq Prover",147,9,108,2,0,16,48,68.6,"MIT License",false,"main",[24,25,26,27,28,29],"formal-verification","fuzzing","oss-fuzz","proofs","riscv","rocq","2026-10-25 02:57:42","2026-10-25 19:56:43","2026-10-26 04:17:05","CREATED_QUERY"]