mssun

mssun's Stars

• mastodon/mastodon

  Your self-hosted, globally interconnected microblogging community

  Language:Ruby46.2k70910.9k6.8k

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust26.4k1432621.6k

• neondatabase/neon

  Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

  Language:Rust12.9k902.2k357

• risingwavelabs/risingwave

  SQL stream processing, analytics, and management. We decouple storage and compute to offer instant failover, dynamic scaling, speedy bootstrapping, and efficient joins.

  Language:Rust6.4k785.9k524

• MystenLabs/sui

  Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

  Language:Rust5.8k1613.3k11k

• SinaKarvandi/Hypervisor-From-Scratch

  Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

  Language:C2.1k5418287

• GuillaumeGomez/sysinfo

  Cross-platform library to fetch system information

  Language:Rust1.8k13409278

• proptest-rs/proptest

  Hypothesis-like property testing for Rust

  Language:Rust1.6k20241150

• EmbarkStudios/cargo-deny

  ❌ Cargo plugin for linting your dependencies 🦀

  Language:Rust1.6k1627278

• mcginty/snow

  A Rust implementation of the Noise Protocol Framework

  Language:Rust8592574118

• minirust/minirust

  A precise specification for "Rust lite / MIR plus"

  Language:Rust773173033

• chinedufn/swift-bridge

  swift-bridge facilitates Rust and Swift interop.

  Language:Rust7411213553

• rust-secure-code/safety-dance

  Auditing crates for unsafe code which can be safely replaced

  523426010

• ferrocene/specification

  Ferrocene Language Specification

  Language:Python3862120426

• trailofbits/dylint

  Run Rust lints from dynamic libraries

  Language:Rust344247621

• rust-secure-code/cargo-supply-chain

  Gather author, contributor and publisher data on crates in your dependency graph.

  Language:Rust308134518

• microsoft/stackfuture

  A wrapper around Rust futures that stores the future in space provided by the caller.

  Language:Rust2959511

• newca12/awesome-rust-formalized-reasoning

  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  2791309

• rust-lang/a-mir-formality

  a model of MIR and the Rust type/trait system

  Language:Rust256336430

• in-toto/attestation

  in-toto Attestation Framework

  Language:Go2022112344

• iximeow/yaxpeax-x86

  x86 decoders for the yaxpeax project

  Language:Rust124102322

• AMDESE/linux-svsm

  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust

  Language:Rust117242529

• confidential-containers/td-shim

  Confidential Containers Shim Firmware

  Language:Rust881424547

• bus1/r-linux

  Capability-based Linux Runtime

  Language:Rust86412

• microsoft/snocat

  Streaming Network Overlay Connection Arbitration Tunnel

  Language:Rust758016

• apache/incubator-teaclave-java-tee-sdk

  Apache Teaclave (incubating) Java TEE SDK is an open source universal confidential computing framework, making java computation on privacy-sensitive data safe and simple.

  Language:Java49161114

• lizhuohua/rust-ffi-checker

  Language:Rust40455

• ksplit/ksplit-artifacts

  Artifacts for the paper "KSplit: Automating Device Driver Isolation"

  Language:C9001

• plaublin/intel_sgx_tutorial

  A tutorial to learn how to build secure applications for Intel SGX platforms in C and Rust

  Language:C6200

• hermanventer/MIRAI

  Rust mid-level IR Abstract Interpreter

  Language:Rust4000