Pinned Repositories
avs-device-sdk
An SDK for commercial device makers to integrate Alexa directly into connected products.
bolero-dev
property testing and verification front-end for Rust
kani-dev
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-github-action-dev
Developer copy of the Kani github action repository. This is for INTERNAL DEVELOPMENT only
kani-verifier-blog
Personal development fork of kani-verifier-blog.
cbmc
C Bounded Model Checker
kani
Kani Rust Verifier
rust-formal-methods.github.io
project-stable-mir
Define compiler intermediate representation usable by external tools
rust
Empowering everyone to build reliable and efficient software.
celinval's Repositories
celinval/bolero-dev
property testing and verification front-end for Rust
celinval/kani-dev
This is a developer copy of Kani. DO NOT USE this repository. History can be edited, and branches can be deleted at any point.
celinval/kani-github-action-dev
Developer copy of the Kani github action repository. This is for INTERNAL DEVELOPMENT only
celinval/kani-verifier-blog
Personal development fork of kani-verifier-blog.
celinval/kani-vscode-extension-dev
Kani VSCode Extension
celinval/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
celinval/miri-dev
This my very unstable developer branch of MIRI: "An interpreter for Rust's mid-level intermediate representation"
celinval/minirust-dev
My development for of MiniRust
celinval/rust-analyzer-dev
Developer fork of "A Rust compiler front-end for IDEs"
celinval/rust-clippy-dev
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/
celinval/rust-dev
Empowering everyone to build reliable and efficient software.
celinval/rust-formal-methods.github.io
celinval/rust-project-goals-dev
Rust Project Goals tracker (Developer fork)
celinval/rust-team-dev
Rust teams structure (Fork)
celinval/s2n-quic-dev
**For internal development only.** An implementation of the IETF QUIC protocol
celinval/skill-sample-python-fact
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.)
celinval/stable-mir-dev
Personal dev repository for the project stable mir