{"adoption": {"forks": 71, "observed_at": "2026-08-28T04:04:06.383418+00:00", "stars": 1241}, "canonical_url": "https://ross.abutalabs.com/products/anishathalye-porcupine", "card": {"archived": false, "artifact_type": "library", "description": "A fast linearizability checker written in Go 🔎", "domain": ["microservices", "testing"], "enriched": true, "function": ["testing", "concurrency", "developer-tools"], "health_score": 78, "homepage": "https://anishathalye.com/testing-distributed-systems-for-linearizability/", "language": "Go", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["anishathalye/porcupine"], "name": "anishathalye/porcupine", "platform": ["go", "cross-platform"], "pushed_at": "2026-08-06T17:36:54+00:00", "repo": "anishathalye/porcupine", "stars": 1241, "tags": ["linearizability-checker", "distributed-systems-testing", "formal-verification", "jepsen-alternative", "history-visualization", "algorithms"], "topics": [], "urls": [], "use_cases": ["check if a concurrent history is linearizable", "test correctness of a distributed key-value store", "verify linearizability of Jepsen test histories", "visualize concurrent histories and linearization points", "replace Knossos with a faster linearizability checker", "write executable sequential specifications in Go for model checking"], "what_it_is": "Porcupine is a fast linearizability checker written in Go, used to test the correctness of concurrent and distributed systems against sequential specifications. It implements P-compositionality optimizations, is orders of magnitude faster than Knossos, and includes a visualizer for histories and linearization points.", "when_to_avoid": ["your system model is not expressible as a sequential specification in Go", "you need full formal verification rather than history-based testing", "you are not working in the Go ecosystem"], "when_to_choose": ["you need to verify linearizability of concurrent or distributed systems in Go", "you need to check large histories that Knossos cannot handle", "you want both programmatic checking and history visualization"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/anishathalye-porcupine", "repo": "anishathalye/porcupine", "role": "main", "score": 75}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:06.383418+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T05:08:28.167557+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "15ab50075eb32f5ad921b689fb8f59c6d54567628616292dc641b322ab48410a", "fetched_at": "2026-08-28T04:04:06.383418+00:00", "kind": "readme", "missing": false, "url": "https://github.com/anishathalye/porcupine"}, {"content_hash": "ea3060166c9e4d5222bf91379e7f555ad93ec6e871c48b4572b1e9f96b46774d", "fetched_at": "2026-08-29T12:20:15.639545+00:00", "kind": "homepage", "missing": false, "url": "https://anishathalye.com/testing-distributed-systems-for-linearizability/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 96, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3385, "days_push": 27, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 75, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}