Alternatives and similar repositories for pcp

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

• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆98Updated last month
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆102Updated 4 years ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆47Updated 4 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆140Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 3 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆30Updated 9 months ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• terminusdb-labs / swipl-rs
  ☆28Updated last year
• droundy / tinyset
  Compact sets in rust
  ☆57Updated 3 months ago
• thespis-rs / thespis
  A minimal actor model for Rust
  ☆25Updated 3 years ago
• fatho / logru
  Log(ic) programming in Ru(st).
  ☆21Updated 3 months ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Updated 4 years ago
• hashmismatch / finny.rs
  Finite State Machines for Rust
  ☆73Updated last year
• sdleffler / qp-trie-rs
  An idiomatic and fast QP-trie implementation in pure Rust.
  ☆101Updated last year
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆69Updated last month
• Actyx / cambria
  ☆36Updated 3 years ago
• wolfiestyle / frappe
  Functional Reactive Programming library for Rust
  ☆50Updated 5 years ago
• TyOverby / Bark
  A better Arc / Rc [Still in research mode]
  ☆19Updated 5 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆61Updated 3 years ago
• advancedresearch / quickbacktrack
  Library for backtracking with customizable search for moves
  ☆23Updated last month
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆240Updated 2 years ago
• purpleprotocol / graphlib
  Simple but powerful graph library for Rust
  ☆194Updated 2 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 7 years ago