hifitime
A high fidelity time management library in Rust (by nyx-space)
findpanics
Find calls to panic functions in rust executables (by philipc)
hifitime | findpanics | |
---|---|---|
2 | 6 | |
297 | 35 | |
0.7% | - | |
9.0 | 0.0 | |
5 days ago | over 2 years ago | |
Rust | Rust | |
Apache License 2.0 | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hifitime
Posts with mentions or reviews of hifitime.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-25.
-
Is there something like "super-safe" rust?
kani (e.g. used by hifitime)
-
Hifitime 3.5.0: time.rs and chrono alternative, only more precise, formally verified, and used in scientific and engineering programs
I could add that to the documentation. There's a benchmark test here: https://github.com/nyx-space/hifitime/actions/runs/3257976296.
findpanics
Posts with mentions or reviews of findpanics.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-25.
-
Is there something like "super-safe" rust?
findpanics is also unmaintained, but a couple of years younger.
-
Is Rust really safe? How to identify functions that can potentially cause panic
Try findpanics (https://github.com/philipc/findpanics) instead. It's also unmaintained, but several years more recent.
-
My thoughts on Rust and C++
That's fair. I think I may just be a bit sore that Rustig was allowed to bit-rot and findpanics hasn't seen a commit since 2020.
- What improvements would you like to see in Rust or what design choices do you wish were reconsidered?
-
What's your strategy for checking that your code is panic free?
The approaches I've seen (Rustig, findpanics, no-panic, dont_panic) tend to be based around using whole-program analysis on the generated output binary to determine what's calling the panic machinery once the optimizers have had their way with it.
-
Sustainability with Rust
It's a shame that Rustig is unmaintained. I haven't had a chance to try findpanics yet, but it may be a good runner-up.
What are some alternatives?
When comparing hifitime and findpanics you can also consider the following projects:
time - The most used Rust library for date and time handling.
lang-team - Home of the Rust lang team
tai - tai (Terminal Ascii Images) tool to convert images to text written in Rust
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
rustig - A tool to detect code paths leading to Rust's panic handler
rustig - A tool to detect code paths leading to Rust's panic handler
kani - Kani Rust Verifier
rust_fallible_vec - Fallible allocation support for Rust's Vec
no-panic - Attribute macro to require that the compiler prove a function can't ever panic
rfcs - RFCs for changes to Rust