Hifitime Alternatives

Similar projects and alternatives to hifitime

• kani

  47 1,868 9.5 Rust hifitime VS kani

  Kani Rust Verifier

  

• prusti-dev

  23 1,459 8.8 Rust hifitime VS prusti-dev

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

  

• 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.

  

• time

  12 1,010 8.7 Rust hifitime VS time

  The most used Rust library for date and time handling. (by time-rs)

  

• no-panic

  12 515 4.2 Rust hifitime VS no-panic

  Discontinued Attribute macro to require that the compiler prove a function can't ever panic

• rustig

  9 215 0.0 Rust hifitime VS rustig

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

  

• MIRAI

  9 956 0.0 Rust hifitime VS MIRAI

  Rust mid-level IR Abstract Interpreter

  

• findpanics

  6 35 0.0 Rust hifitime VS findpanics

  Find calls to panic functions in rust executables

• 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.

  

• tai

  1 298 1.8 Rust hifitime VS tai

  tai (Terminal Ascii Images) tool to convert images to text written in Rust (by MustafaSalih1993)