{"crate":{"id":"verus","name":"verus","updated_at":"2024-03-13T18:59:33.987196Z","versions":[1081209],"keywords":["verified-rust","verus"],"categories":["development-tools::testing","development-tools"],"badges":[],"created_at":"2024-03-13T18:59:33.987196Z","downloads":2694,"recent_downloads":77,"default_version":"0.0.0","num_versions":1,"yanked":false,"max_version":"0.0.0","newest_version":"0.0.0","max_stable_version":"0.0.0","description":"Verus: Verified Rust for low-level systems code","homepage":"https://github.com/verus-lang/verus","documentation":"https://verus-lang.github.io/verus/verusdoc/vstd/","repository":"https://github.com/verus-lang/verus","links":{"version_downloads":"/api/v1/crates/verus/downloads","versions":null,"owners":"/api/v1/crates/verus/owners","owner_team":"/api/v1/crates/verus/owner_team","owner_user":"/api/v1/crates/verus/owner_user","reverse_dependencies":"/api/v1/crates/verus/reverse_dependencies"},"exact_match":false,"trustpub_only":false},"versions":[{"id":1081209,"crate":"verus","num":"0.0.0","dl_path":"/api/v1/crates/verus/0.0.0/download","readme_path":"/api/v1/crates/verus/0.0.0/readme","updated_at":"2024-03-13T18:59:33.987196Z","created_at":"2024-03-13T18:59:33.987196Z","downloads":2694,"features":{},"yanked":false,"yank_message":null,"lib_links":null,"license":"MIT","links":{"dependencies":"/api/v1/crates/verus/0.0.0/dependencies","version_downloads":"/api/v1/crates/verus/0.0.0/downloads","authors":"/api/v1/crates/verus/0.0.0/authors"},"crate_size":1356,"published_by":{"id":224197,"login":"jaybosamiya","name":"Jay Bosamiya","avatar":"https://avatars.githubusercontent.com/u/5683582?v=4","url":"https://github.com/jaybosamiya","github_username_matches":true,"created_at":"2013-10-14T14:38:31Z"},"audit_actions":[{"action":"publish","user":{"id":224197,"login":"jaybosamiya","name":"Jay Bosamiya","avatar":"https://avatars.githubusercontent.com/u/5683582?v=4","url":"https://github.com/jaybosamiya","github_username_matches":true,"created_at":"2013-10-14T14:38:31Z"},"time":"2024-03-13T18:59:33.987196Z"}],"checksum":"f36b4b40ffd5aa591b0a5e8e734ff185d95a4d1f847c5c079fadcc3d52b1241a","rust_version":null,"has_lib":false,"bin_names":["verus"],"edition":"2021","description":"Verus: Verified Rust for low-level systems code","homepage":"https://github.com/verus-lang/verus","documentation":"https://verus-lang.github.io/verus/verusdoc/vstd/","repository":"https://github.com/verus-lang/verus","trustpub_data":null,"linecounts":{"languages":{"Rust":{"code_lines":11,"comment_lines":0,"files":1}},"total_code_lines":11,"total_comment_lines":0}}],"keywords":[{"id":"verified-rust","keyword":"verified-rust","created_at":"2024-03-13T18:59:33.987196Z","crates_cnt":6},{"id":"verus","keyword":"verus","created_at":"2021-12-29T07:59:06.031797Z","crates_cnt":15}],"categories":[{"id":"development-tools::testing","category":"Testing","slug":"development-tools::testing","description":"Crates to help you verify the correctness of your code.","created_at":"2016-12-30T23:42:37.777395Z","crates_cnt":2783},{"id":"development-tools","category":"Development tools","slug":"development-tools","description":"Crates that provide developer-facing features such as testing, debugging, linting, performance profiling, autocompletion, formatting, and more.","created_at":"2016-12-30T23:42:37.777395Z","crates_cnt":22146}]}