Alternatives and similar repositories for pocket_prover

Users that are interested in pocket_prover are comparing it to the libraries listed below

• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• Robbepop / apint
  Arbitrary precision integers library.
  ☆28Updated 4 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 7 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated last week
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆22Updated 2 months ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆29Updated 8 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 4 years ago
• bsteinb / accurate
  (More or less) accurate floating point algorithms
  ☆57Updated 9 months ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• programmerjake / algebraics
  algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
  ☆26Updated last year
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated last month
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago
• Kixiron / tagged-box
  A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…
  ☆19Updated 5 years ago
• ballard26 / concurrent-hamt
  ☆82Updated 8 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆61Updated 3 years ago
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• Ericson2314 / rust-papers
  An enrichment of Rust's core language to support more advanced features
  ☆18Updated 7 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• nrc / stupid-stats
  Tutorial and demo of rust compiler replacement tooling
  ☆56Updated 4 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆47Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 6 years ago