Linking pages
Linked pages
- Introducing ChatGPT https://openai.com/blog/chatgpt/ 296 comments
- Firecracker https://firecracker-microvm.github.io 235 comments
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- hifitime - Rust https://docs.rs/hifitime/latest/hifitime/ 31 comments
- Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
- https://github.com/facebookexperimental/mirai/blob/master/readme.md 25 comments
- GitHub - aws/s2n-quic: An implementation of the IETF QUIC protocol https://github.com/aws/s2n-quic 24 comments
- GitHub - firecracker-microvm/firecracker: Secure and fast microVMs for serverless computing. https://github.com/firecracker-microvm/firecracker 14 comments
- From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/10/27/using-kani-with-the-bolero-property-testing-framework.html 9 comments
- How Kani helped find bugs in Hifitime | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html 4 comments
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
- Writing Code with ChatGPT? Improve it with Kani. | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html 0 comments
- Using Kani to Validate Security Boundaries in AWS Firecracker | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/08/31/using-kani-to-validate-security-boundaries-in-aws-firecracker.html 0 comments
- GitHub - model-checking/kani: Kani Rust Verifier https://github.com/model-checking/kani 0 comments
Related searches:
Search whole site: site:aws.amazon.com
Search title: How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog
See how to search.