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 3 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 9 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• mpdn / scanmut
  O(n) multi-insert and -remove for Rust vectors
  ☆10Updated 4 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• programmerjake / algebraics
  algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
  ☆26Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆32Updated this week
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆34Updated 2 months ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆21Updated last month
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• dureuill / transfer
  'Transfer' is to 'move' what 'Clone' is to 'copy'
  ☆11Updated 5 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 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
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• djugei / optimath
  A #[no_std] LinAlg library
  ☆51Updated 3 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 2 years ago
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 3 years ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated this week
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆18Updated 3 weeks ago
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 6 years ago
• AtheMathmo / rugrads
  A proof of concept automatic differentiation library for Rust
  ☆23Updated 6 years ago