{"id":13595158,"url":"https://github.com/tnballo/high-assurance-rust","last_synced_at":"2025-04-08T10:19:23.819Z","repository":{"id":37080254,"uuid":"474176747","full_name":"tnballo/high-assurance-rust","owner":"tnballo","description":"A free book about developing secure and robust systems software.","archived":false,"fork":false,"pushed_at":"2024-04-10T13:53:11.000Z","size":8896,"stargazers_count":1335,"open_issues_count":12,"forks_count":35,"subscribers_count":40,"default_branch":"main","last_synced_at":"2025-04-01T08:42:41.635Z","etag":null,"topics":["book","reliability","rust","security","systems-programming"],"latest_commit_sha":null,"homepage":"https://highassurance.rs/","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tnballo.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":null,"code_of_conduct":"CODE_OF_CONDUCT.md","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}},"created_at":"2022-03-25T22:07:47.000Z","updated_at":"2025-03-27T06:06:42.000Z","dependencies_parsed_at":"2023-10-16T12:57:45.889Z","dependency_job_id":"eaa21da9-6050-4e4d-a9c5-69999ac55fb6","html_url":"https://github.com/tnballo/high-assurance-rust","commit_stats":{"total_commits":155,"total_committers":18,"mean_commits":8.61111111111111,"dds":"0.32258064516129037","last_synced_commit":"51ae47d5612c94dddb8c86414be5cf95bc68498e"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tnballo%2Fhigh-assurance-rust","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tnballo%2Fhigh-assurance-rust/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tnballo%2Fhigh-assurance-rust/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tnballo%2Fhigh-assurance-rust/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tnballo","download_url":"https://codeload.github.com/tnballo/high-assurance-rust/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247819940,"owners_count":21001394,"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","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":["book","reliability","rust","security","systems-programming"],"created_at":"2024-08-01T16:01:45.017Z","updated_at":"2025-04-08T10:19:23.788Z","avatar_url":"https://github.com/tnballo.png","language":"Rust","funding_links":[],"categories":["Rust"],"sub_categories":[],"readme":"\u003cbr\u003e\u003cp align=\"center\"\u003e\u003cimg src=\"https://github.com/tnballo/high-assurance-rust/blob/3ea7daa046daaac303107598e26232ea7e08bbd3/img/har_logo.svg\" width=\"333\" alt=\"High Assurance Rust\"\u003e\u003c/p\u003e\u003cbr\u003e\n\n# High Assurance Rust\n\n[![Pages](https://img.shields.io/badge/Pages-178-purple.svg)](https://github.com/tnballo/high-assurance-rust)\n[![Diagrams](https://img.shields.io/badge/Diagrams-51-blue.svg)](https://github.com/tnballo/high-assurance-rust)\n[![Price](https://img.shields.io/badge/Price-$0.00-orange.svg)](https://highassurance.rs/cfp.html)\n[![Text License: CC BY-NC-ND 4.0](https://img.shields.io/badge/Text%20License-CC%20BY--NC--ND%204.0-yellow.svg)](https://highassurance.rs/license.html)\n[![Code License: MIT](https://img.shields.io/badge/Code%20License-MIT-yellowgreen.svg)](https://highassurance.rs/license.html)\n[![Assurance](https://img.shields.io/badge/Assurance-High-brightgreen.svg)](https://highassurance.rs)\n\n### Click here to read now: [https://highassurance.rs/](https://highassurance.rs/)\n\n#### What does this book aim to do?\n\n1. Provide an accessible but principled introduction to developing secure and robust systems. At the overlap of \"state-of-the-art\" and \"near-term practical\": mostly production-grade tools and techniques, but also some cutting-edge research projects. All open-source.\n\n2. Help experienced developers both learn a new language and delve deeper into fundamental Computer Science and Computer Architecture topics.\n\n#### How can I help?\n\nIf you find this content valuable, consider increasing its visibility among developers by starring this GitHub repo.\nMuch appreciated! :)\n\nTo cite this book directly in your own work, please use this BibTeX or similar:\n\n```\n@misc{high_assurance_rust,\n    title={High Assurance Rust: Developing Secure and Robust Software},\n    url={https://highassurance.rs},\n    howpublished = \"\\url{https://highassurance.rs}\",\n    author={Ballo, Tiemoko and Ballo, Moumine and James, Alex},\n    year={2022}\n}\n```\n\n#### Interested in a physical print?\n\nPlease [sign up here](https://forms.gle/ESYgXgswCjEoCSHT9) if you'd like to be notified when the book is finished and hard copies are available.\nThe email you provide not be shared or used for any other purpose.\n\n#### Have feedback or questions?\n\nYour input matters.\nWe'd love to hear from you, please send an email to:\n\n\u003ca href=\"mailto:contact@highassurance.rs\"\u003e**contact@highassurance.rs**\u003c/a\u003e\n\n#### Can I contribute?\n\nContributions are welcome and appreciated.\nPlease see [`CONTRIBUTING.md`](./CONTRIBUTING.md).\n\n#### Anything else I should know?\n\nA great deal of effort went into making this book a reality.\nWe hope you have as much fun reading as we did writing.\nLet's hack together!\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftnballo%2Fhigh-assurance-rust","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftnballo%2Fhigh-assurance-rust","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftnballo%2Fhigh-assurance-rust/lists"}