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
trailofbits
manticore

Symbolic execution tool

96K 4K 493
cool-japan
oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

6K 15 1
rindPHI
isla-solver

The ISLa (Input Specification Language) language & solver.

5K 72 10
nicdard
ffg

A generator for Semantic Fusion

4K 2 0
testsmt
yinyang

A fuzzing framework for SMT solvers

2K 196 25
Michael-A-Kuykendall
contextlite

Database Freedom Platform - Mathematical search optimization for whatever database you already have. 27,000x faster than vector databases with SMT-powered search across 8+ database types. One-time 9-2999 vs 00-500/month recurring.

2K 17 5
hadipourh
autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

2K 33 5
adsharma
py2many

Transpiler of Python to many other languages

606 1K 78
AstraIntella
astraintella

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

435 0 0
yangky11
smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel

390 3 0
AstraIntella
verasolve

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

375 0 0
awkronos
provably

Proof-carrying Python functions via Z3 — annotate, verify, ship.

267 0 0
nam20485
pyodbdesignlib

A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST and gRPC API packaged inside of a Docker image, ready for deployment onto k8s clusters.

145 75 36
TendTo
pydlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4

134 3 0
Eseb
corpus-cleaner

Natural-language corpus cleaning scripts

53 9 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery