| Name | Version | Summary | date |
| gdsfactoryplus |
0.57.9 |
GDSFactory+: adds powerful features such as foundry PDKs, simulations, and verification tools like DRC and LVS. |
2025-08-15 23:30:59 |
| litewave-ml-models-signature |
0.0.11 |
A package for signature verification and classification. |
2025-08-15 02:26:34 |
| batch-tamarin |
1.0.0 |
Python wrapper for Tamarin Prover with JSON configuration |
2025-08-14 10:50:22 |
| causal-testing-framework |
12.0.1 |
A framework for causal testing using causal directed acyclic graphs. |
2025-08-13 09:51:55 |
| hessra-py |
0.1.0 |
Python bindings for the Hessra authorization system with Biscuit token verification and mTLS support |
2025-08-12 22:46:00 |
| liitos |
2025.8.11 |
Splice (Finnish liitos) contributions. |
2025-08-11 15:46:56 |
| bilateral-truth |
0.2.1 |
Caching bilateral factuality evaluation using generalized truth values |
2025-08-11 15:39:36 |
| coldpack |
0.5.0 |
Professional 7z Cold Storage Solution with Revolutionary Architecture - Advanced CLI tool for creating standardized 7z archives with comprehensive verification, PAR2 recovery, and intelligent cross-platform compatibility. |
2025-08-10 07:11:42 |
| smsru-api |
1.2 |
[A]sync Python API для сервиса отправки сообщений sms.ru |
2025-08-07 12:26:07 |
| gui-api-tkinter |
1.2.1 |
GUI API for interfacing and testing with tkinter |
2025-08-07 03:02:40 |
| python-gnupg |
0.5.5 |
A wrapper for the Gnu Privacy Guard (GPG or GnuPG) |
2025-08-04 19:26:55 |
| textverified |
0.1.0a1 |
Python wrapper for the TextVerified API |
2025-08-04 18:50:01 |
| smartystreets-python-sdk |
4.20.0 |
An official library to help Python developers easily access the SmartyStreets APIs |
2025-08-04 17:34:36 |
| colibri-stateless |
0.4.10 |
Python bindings for Colibri stateless Ethereum proof library |
2025-08-02 21:55:23 |
| pakto |
0.0.1a1 |
A CLI tool for bundling and distributing software as OCI artifacts with enterprise-grade security and compliance features |
2025-08-01 18:38:03 |
| mqt.qcec |
3.2.0 |
A tool for Quantum Circuit Equivalence Checking |
2025-08-01 14:15:46 |
| vetting-python |
0.1.0 |
A Python implementation of the VETTING (Verification and Evaluation Tool for Targeting Invalid Narrative Generation) framework for LLM safety and educational applications |
2025-08-01 04:24:02 |
| python-licverify |
0.1.1 |
Python client for go-license license verification |
2025-07-31 07:22:24 |
| dcap-qvl |
0.3.0 |
Python bindings for DCAP (Data Center Attestation Primitives) quote verification library |
2025-07-31 06:26:14 |
| py-tree-sitter-spthy |
1.2.1 |
Tree-sitter parser for Spthy language (Tamarin Prover) |
2025-07-30 09:33:39 |