PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
gaperez64
acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

4K 5 5
bradleypallen
pynmms

An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.

780 0 0
vishk23
arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

759 0 0
debarghaG
proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

220 371 24
symcollab
symcollab-moe

Moved to https://github.com/CryptoSolvers/CryptoSolve

214 3 0
symcollab
symcollab-algebra

Moved to https://github.com/CryptoSolvers/CryptoSolve

133 3 0
symcollab
symcollab-theories

Moved to https://github.com/CryptoSolvers/CryptoSolve

126 3 0
symcollab
symcollab-rewrite

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0
symcollab
symcollab-xor

Moved to https://github.com/CryptoSolvers/CryptoSolve

125 3 0
symcollab
symcollab-unification

Moved to https://github.com/CryptoSolvers/CryptoSolve

112 3 0
symcollab
symcollab

No description available

104 3 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery