Pinned Repositories
kani
Kani Rust Verifier
adtc
Rich data type code generator for C and other languages
cargo
The Rust package manager
imp.runtime.feature
eclipse feature project for the IMP runtime
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
relative-library-demo
A short demo of looking up the location a shared library was loaded from.
rmc
rust-analyzer
A Rust compiler front-end for IDEs
talks
Slides for talks I have given
vm-virtio
virtio implementation
tedinski's Repositories
tedinski/relative-library-demo
A short demo of looking up the location a shared library was loaded from.
tedinski/adtc
Rich data type code generator for C and other languages
tedinski/talks
Slides for talks I have given
tedinski/cargo
The Rust package manager
tedinski/imp.runtime.feature
eclipse feature project for the IMP runtime
tedinski/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
tedinski/rmc
tedinski/rust-analyzer
A Rust compiler front-end for IDEs
tedinski/vm-virtio
virtio implementation