hifitime
tai
hifitime | tai | |
---|---|---|
2 | 1 | |
297 | 298 | |
0.7% | - | |
9.0 | 1.8 | |
6 days ago | over 2 years ago | |
Rust | Rust | |
Apache License 2.0 | MIT License |
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
-
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.
tai
What are some alternatives?
time - The most used Rust library for date and time handling.
hex - 🔮 Futuristic take on hexdump, made in Rust.
rustig - A tool to detect code paths leading to Rust's panic handler
cavernos - Retro fantasy terminal for building DOS-era ASCII games, powered by WebAssembly
kani - Kani Rust Verifier
asciiframe - A CLI tool that converts videos to ASCII and displays them to the terminal on the fly
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
xxv - The XXV visual hex viewer for the terminal.
no-panic - Attribute macro to require that the compiler prove a function can't ever panic
diagwiz - Diagrams as code
MIRAI - Rust mid-level IR Abstract Interpreter
iris - A cli tool that creates color palettes from images using the median cut algorithm.