Things I hate about Rust, redux

• gdbstub

  8 276 6.1 Rust

  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)

I've worked really hard to keep gdbstub panic free in its minimal configuration, going so far as to write some informal scripts that parse rustc's asm output to scan for the presence of panicking code paths.

• rustig

  9 215 0.0 Rust

  A tool to detect code paths leading to Rust's panic handler

  

You might be interested in this: https://github.com/Technolution/rustig

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• watt

  21 1,219 7.3 Rust

  Runtime for executing procedural macros as WebAssembly

• MIRAI

  9 959 0.0 Rust

  Rust mid-level IR Abstract Interpreter

  

https://github.com/facebookexperimental/MIRAI which integrates with https://crates.io/crates/contracts (a crate that does runtime checking of contracts, and with mirai they are upgraded to compile-time checking) and https://crates.io/crates/mirai-annotations

• prusti-dev

  23 1,460 8.8 Rust

  A static verifier for Rust, based on the Viper verification infrastructure.

  

https://github.com/viperproject/prusti-dev/ that looks a bit like mirai in that it also does design by contract at compile time

• kani

  47 1,885 9.5 Rust

  Kani Rust Verifier

  

• macro_railroad_ext

  2 181 2.2 Rust

  Display syntax-diagrams for Rust-macros on docs.rs and doc.rust-lang.org

macro_railroad creates syntax ("railroad") diagrams from macro_rules!, which helps understanding the flow of many macros. It can be helpful when debugging the input syntax. There are also extensions for firefox, chrome, and edge that automatically renders syntax diagrams inline while viewing docs.rs, which is helpful for users of macros in general.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project