Skip to content
View Ray-Rose's full-sized avatar
  • Iowa
  • 13:38 (UTC -05:00)

Block or report Ray-Rose

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. shapedcloud shapedcloud Public

    SCvx 3-DoF powered-descent trajectory solver — flight-grade Rust (no_std, bounded-WCET, C-FFI)

    Rust 1

  2. flyingsquirrel flyingsquirrel Public

    Rust

  3. ferris-wheel-deluxe ferris-wheel-deluxe Public

    Animated truecolor ASCII Ferris wheel for your terminal - Neon Funhouse Edition

    Rust

  4. pitbull pitbull Public

    A SPARK-style deductive verifier for a subset of Rust: proves Absence of Runtime Errors (no panics, integer overflow, or out-of-bounds indexing) via SMT, and never claims more than it has proven.

    Rust

  5. tomcruise tomcruise Public

    C

  6. OrbitalShield OrbitalShield Public

    Autonomous, contract-driven Space Traffic Management in Ada/SPARK: SGP4/SDP4 propagation, conjunction screening, Foster collision probability, and Clohessy-Wiltshire maneuver planning.

    Ada