{"id":18560960,"url":"https://github.com/artichoke/qed","last_synced_at":"2025-09-07T08:43:10.843Z","repository":{"id":38985262,"uuid":"479828290","full_name":"artichoke/qed","owner":"artichoke","description":"∎ Compile-time assertion macros","archived":false,"fork":false,"pushed_at":"2025-08-26T00:02:35.000Z","size":1904,"stargazers_count":7,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"trunk","last_synced_at":"2025-08-26T02:25:49.146Z","etag":null,"topics":["artichoke","assert","compile-time","const-assert","no-std","rust","rust-crate"],"latest_commit_sha":null,"homepage":"https://crates.io/crates/qed","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/artichoke.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-04-09T19:47:03.000Z","updated_at":"2025-08-02T03:08:12.000Z","dependencies_parsed_at":"2023-02-17T14:30:43.755Z","dependency_job_id":"440a5bb0-b904-4ff6-82ef-7cdcbcd992bf","html_url":"https://github.com/artichoke/qed","commit_stats":{"total_commits":76,"total_committers":3,"mean_commits":"25.333333333333332","dds":0.2894736842105263,"last_synced_commit":"75bf4cd695411af142ad83d42029aff774b20165"},"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/artichoke/qed","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/artichoke%2Fqed","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/artichoke%2Fqed/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/artichoke%2Fqed/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/artichoke%2Fqed/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/artichoke","download_url":"https://codeload.github.com/artichoke/qed/tar.gz/refs/heads/trunk","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/artichoke%2Fqed/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274014637,"owners_count":25207687,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-07T02:00:09.463Z","response_time":67,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["artichoke","assert","compile-time","const-assert","no-std","rust","rust-crate"],"created_at":"2024-11-06T22:05:18.355Z","updated_at":"2025-09-07T08:43:10.801Z","avatar_url":"https://github.com/artichoke.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# qed\n\n[![GitHub Actions](https://github.com/artichoke/qed/workflows/CI/badge.svg)](https://github.com/artichoke/qed/actions)\n[![Discord](https://img.shields.io/discord/607683947496734760)](https://discord.gg/QCe2tp2)\n[![Twitter](https://img.shields.io/twitter/follow/artichokeruby?label=Follow\u0026style=social)](https://twitter.com/artichokeruby)\n\u003cbr\u003e\n[![Crate](https://img.shields.io/crates/v/qed.svg)](https://crates.io/crates/qed)\n[![API](https://docs.rs/qed/badge.svg)](https://docs.rs/qed)\n[![API trunk](https://img.shields.io/badge/docs-trunk-blue.svg)](https://artichoke.github.io/qed/qed/)\n\nCompile time assertions.\n\n\u003e **_QED_** is an initialism of the Latin phrase **_quod erat demonstrandum_**,\n\u003e meaning \"which was to be demonstrated\".\n\nThis crate contains compile time assertion macros used for maintaining safety\ninvariants or limiting platform support. If the assertion is false, a compiler\nerror is emitted.\n\n## Usage\n\nAdd this to your `Cargo.toml`:\n\n```toml\n[dependencies]\nqed = \"1.6.1\"\n```\n\nThen make compile time assertions like:\n\n```rust\nuse core::num::NonZeroU8;\n\nqed::const_assert!(usize::BITS \u003e= u32::BITS);\nqed::const_assert_eq!(\"Veni, vidi, vici\".len(), 16);\nqed::const_assert_ne!('∎'.len_utf8(), 1);\nqed::const_assert_matches!(NonZeroU8::new(42), Some(nz) if nz.get() == 42);\n```\n\n## `no_std`\n\nqed is `no_std` compatible and all macros only require [`core`].\n\n[`core`]: https://doc.rust-lang.org/stable/core/\n\n### Minimum Supported Rust Version\n\nThis crate requires at least Rust 1.64.0. This version can be bumped in minor\nreleases.\n\n## License\n\n`qed` is licensed under the [MIT License](LICENSE) (c) Ryan Lopopolo.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fartichoke%2Fqed","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fartichoke%2Fqed","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fartichoke%2Fqed/lists"}