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