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 216 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

• InfluxDB

  www.influxdata.com featured

  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.

  

• watt

  21 1,231 7.3 Rust

  Runtime for executing procedural macros as WebAssembly

• MIRAI

  9 969 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,488 8.3 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,986 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.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project