Awesome-rust-formalized-reasoning Alternatives

Similar projects and alternatives to awesome-rust-formalized-reasoning

• kani

  47 1,885 9.5 Rust awesome-rust-formalized-reasoning VS kani

  Kani Rust Verifier

  

• MIRAI

  9 956 0.0 Rust awesome-rust-formalized-reasoning VS MIRAI

  Rust mid-level IR Abstract Interpreter

  

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

  

• Kind

  21 2,565 9.5 Rust awesome-rust-formalized-reasoning VS Kind

  Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)

  

• CreuSAT

  8 581 6.9 Rust awesome-rust-formalized-reasoning VS CreuSAT

  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

• cicada

  9 92 7.4 TypeScript awesome-rust-formalized-reasoning VS cicada

  Cicada Language (by cicada-lang)

  

• Formality

  29 2,014 9.9 JavaScript awesome-rust-formalized-reasoning VS Formality

  Discontinued A modern proof language [Moved to: https://github.com/kind-lang/Kind]

  

• opennars

  5 369 0.0 Java awesome-rust-formalized-reasoning VS opennars

  OpenNARS for Research 3.0+

  

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

  

• crucible

  2 593 9.4 Rust awesome-rust-formalized-reasoning VS crucible

  Crucible is a library for symbolic simulation of imperative programs

  

• seer

  1 336 10.0 Rust awesome-rust-formalized-reasoning VS seer

  symbolic execution engine for Rust (by dwrensha)

• minisat

  0 1 0.0 awesome-rust-formalized-reasoning VS minisat

  Minisat Haskell bundle

• tptp

  0 6 0.0 Haskell awesome-rust-formalized-reasoning VS tptp

  Parser and pretty printer for the TPTP language

• rmc

  1 195 10.0 Rust awesome-rust-formalized-reasoning VS rmc

  Discontinued Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]

  

• z3_splash_class

  1 23 10.0 Python awesome-rust-formalized-reasoning VS z3_splash_class

  This repo holds materials for our Splash 2017 class on Z3.

  

• grakn

  11 3,669 9.3 Java awesome-rust-formalized-reasoning VS grakn

  TypeDB: the polymorphic database powered by types

  

• SaaSHub

  www.saashub.com sponsored

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