mssun
Follow
Lists (1)
Starred repositories
PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud using trusted execution environments (TEEs).
swift-bridge facilitates Rust and Swift interop.
Streaming Network Overlay Connection Arbitration Tunnel
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Cross-platform library to fetch system information
Apache Teaclave (incubating) Java TEE SDK is an open source universal confidential computing framework, making java computation on privacy-sensitive data safe and simple.
Your self-hosted, globally interconnected microblogging community
Streaming data platform. Real-time stream processing, low-latency serving, and Iceberg table management.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
Gather author, contributor and publisher data on crates in your dependency graph.
Artifacts for the paper "KSplit: Automating Device Driver Isolation"
❌ Cargo plugin for linting your dependencies 🦀
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
A Rust implementation of the Noise Protocol Framework
a model of MIR and the Rust type/trait system
A precise specification for "Rust lite / MIR plus"
A wrapper around Rust futures that stores the future in space provided by the caller.
Auditing crates for unsafe code which can be safely replaced
Hypothesis-like property testing for Rust
