{"adoption": {"forks": 56, "observed_at": "2026-08-28T04:03:12.624584+00:00", "stars": 1008}, "canonical_url": "https://ross.abutalabs.com/products/minirust", "card": {"archived": false, "artifact_type": "learning-resource", "description": "A precise specification for \"Rust lite / MIR plus\"", "domain": ["programming-languages", "compilers"], "enriched": true, "function": ["interpreter", "programming-language"], "health_score": 77, "homepage": null, "language": "Rust", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["minirust/minirust"], "name": "minirust/minirust", "platform": ["rust", "cross-platform"], "pushed_at": "2026-07-27T07:10:28+00:00", "repo": "minirust/minirust", "stars": 1008, "tags": ["rust-semantics", "mir", "formal-specification", "undefined-behavior", "memory-model", "specr-lang", "specification", "algorithms"], "topics": [], "urls": [], "use_cases": ["understand Rust's precise operational semantics", "study what counts as undefined behavior in Rust", "research formal memory models for Rust", "build tools that need a normative Rust semantics reference", "learn how MIR-like core languages are specified"], "what_it_is": "MiniRust is a precise, executable specification of a MIR-like 'core language' for Rust, defining its operational semantics including evaluation order, data representation, and undefined behavior. The spec is written as an interpreter in a Rust-like pseudo-code language called specr lang.", "when_to_avoid": ["you want to compile or run actual Rust programs", "you need a production Rust toolchain or compiler", "you expect type-safe language guarantees - MiniRust is deliberately not type-safe"], "when_to_choose": ["you need a precise, normative reference for Rust program behavior", "you are doing research on Rust semantics or memory models", "you want an executable specification rather than prose"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/minirust", "repo": "minirust/minirust", "role": "main", "score": 75}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "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:03:12.624584+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:12.624584+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:12:12.180287+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "088b1c6bea73f22460dc5182712f5a4c552e4151fa83d83e86c66b313351d863", "fetched_at": "2026-08-28T04:03:12.624584+00:00", "kind": "readme", "missing": false, "url": "https://github.com/minirust/minirust"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 94, "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": 1565, "days_push": 37, "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}}