150 dependents
| Package | Description | Downloads/month |
|---|---|---|
| An abstraction layer for constraint solvers. | 698K | |
| A tile level programming language to generate high performance code. | 475K | |
| An analysis tool for Python that blurs the line between testing and type systems... | 326K | |
| A universal and generative physics engine | 68K | |
| Prompt Driven Development Command Line Interface | 14K | |
| Optimizing inference proxy for LLMs | 12K | |
| A symbolic testing tool for EVM smart contracts | 10K | |
| Program Synthesis framework that features heuristics methods (e.g., Genetic Prog... | 8K | |
| 7K | ||
| A library of tools to manipulate formal languages' representations mainly autom... | 7K | |
| A hyperintensional theorem prover for rapidly prototyping modular semantic theor... | 7K | |
| Wim's solutions for https://adventofcode.com/ puzzles | 7K | |
| Concrete: TFHE Compiler that converts python programs into FHE equivalent | 6K | |
| An open-source design automation framework for Field-coupled Nanotechnologies | 6K | |
| The ISLa (Input Specification Language) language & solver. | 5K | |
| a Pythonic toolkit for working with Boolean expressions | 5K | |
| QECC - An MQT Tool for Quantum Error Correcting Codes | 5K | |
| Core FhY utilities. | 4K | |
| Open source control plane for NVIDIA OpenShell | 4K | |
| A meta-package including core, heatpump, tespy, reno, sites and ecommunity | 3K | |
| Conversion / approximation of context-free grammars to regular expressions (cust... | 3K | |
| Add your description here | 3K | |
| Verifiable State Plane for Autonomous Agents | 3K | |
| This project extracts catalog and query metadata from a SQL query. | 3K | |
| PAYNT - Probabilistic progrAm sYNThesizer | 3K | |
| A tile level programming language to generate high performance code. | 3K | |
| z3-powered solver (theorem prover) for deal | 2K | |
| Symbolic Ethereum virtual machine | 2K | |
| Deterministic Observability Framework — formal governance, privacy benchmarks, a... | 2K | |
| Programming Language designed for Program Synthesis with SMT-validation. | 2K | |
| Formal specification and generation of verifiable binary parsers, message genera... | 2K | |
| Automatic SQL error categorization tool | 2K | |
| Catch real Python bugs before production — 99%+ accuracy, Z3 symbolic execution,... | 2K | |
| Deterministic verification middleware for banking and financial AI. NPV, IRR, lo... | 1K | |
| str8ts solver using z3 | 1K | |
| A DSL for defining experimental designs | 1K | |
| HIPAA guardrails for AI agents - formal verification for LLM inputs and outputs | 1K | |
| A tool for verifying transitions in cryptographic game-hopping proofs | 1K | |
| A Python package for automatic and optimized resource scheduling | 1K | |
| BPpy: Behavioral Programming In Python | 1K | |
| Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verifi... | 1K | |
| Eliminate AI hallucinations using Formal Mathematics. The simplest way to enforc... | 1K | |
| A constraint solver for generating schedules | 1K | |
| The Deterministic Verification Protocol for AI - 11 verification engines for mat... | 1K | |
| IDP-Z3 is a reasoning engine for knowledge represented using the FO(.) (aka FO-d... | 1K | |
| A library for netlist modification and analysis | 992 | |
| Automatic test case generation for python and static analysis library | 935 | |
| Apheleia Verification Library. A set of Python base classes for efficient HDL ve... | 929 | |
| Code Scalpel is the bridge between **Generative AI** and **Reliable Software Eng... | 922 | |
| Automated unit test generation tool for Python. | 917 |
