Empowering everyone to build reliable and efficient software.

This is a developer copy of Kani. DO NOT USE this repository. History can be edited, and branches can be deleted at any point.

Kani VSCode Extension

Rust Project Goals tracker (Developer fork)

Rust teams structure (Fork)

Data for this-week-in-rust.org

Developer fork of "A Rust compiler front-end for IDEs"

Personal dev repository for the project stable mir

My development for of MiniRust

Developer copy of the Kani github action repository. This is for INTERNAL DEVELOPMENT only

Personal development fork of kani-verifier-blog.

property testing and verification front-end for Rust

**For internal development only.** An implementation of the IETF QUIC protocol

Create book from markdown files. Like Gitbook but implemented in Rust

This is my personal dev project... A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/nightly/clippy/

This my very unstable developer branch of MIRI: "An interpreter for Rust's mid-level intermediate representation"

An Alexa Skill Sample showing how to build a fact skill in Python. (This sample does not use the beta version of the Alexa Skills Kit SDK for Python.)