ptal / pcp

Related projects ⓘ

Alternatives and complementary repositories for pcp

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆59Updated 2 months ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆95Updated 3 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆81Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆45Updated 3 years ago
• Diggsey / act-zero
  ☆122Updated 2 years ago
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆163Updated last month
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆108Updated 4 years ago
• m-decoster / RsGenetic
  Genetic Algorithm library in Rust
  ☆75Updated 3 years ago
• terminusdb-labs / swipl-rs
  ☆26Updated 9 months ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆88Updated 3 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 6 months ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆60Updated 2 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 6 months ago
• metamolecular / gamma
  A graph library for Rust.
  ☆122Updated 3 years ago
• orium / archery
  Abstract over the atomicity of reference-counting pointers in rust
  ☆141Updated last week
• Rust-Proof / rustproof
  rust verification condition generator
  ☆93Updated 8 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆253Updated 2 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated last year
• autumnai / rust-cublas
  Safe CUDA cuBLAS wrapper for the Rust language.
  ☆28Updated 6 years ago
• Robbepop / prophet
  A simple neural net implementation.
  ☆40Updated 5 years ago
• withoutboats / waitmap
  ☆123Updated 2 years ago
• insanitybit / derive_aktor
  A macro to generate Rust actors
  ☆42Updated 3 years ago
• Boddlnagg / units
  Units of Measure for Rust
  ☆45Updated 8 years ago
• faiface / par
  ⅋ — session types for Rust
  ☆78Updated this week