68 dependents
| Package | Description | Downloads/month |
|---|---|---|
| A customizable parser/transpiler for SCIM2.0 filters | 1.8M | |
| Python library to filter filesystem paths based on gitignore-like patterns | 1.1M | |
| Secure Provisioning SDK (SPSDK) is unified, reliable and easy to use SW library ... | 375K | |
| An OData query parser and transpiler. | 123K | |
| Python JSON5 parser with round-trip preservation of comments | 105K | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 49K | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 42K | |
| A Python library for parsing and solving OPL-like mathematical programming model... | 25K | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 12K | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 10K | |
| Simulation tool for modelling laser interferometers | 10K | |
| Tools to work with MCNP models and results | 6K | |
| MontePy is the most user friendly Python library (API) to read, edit, and write ... | 5K | |
| Optimizing Python transpiler for the ASnake programming language. | 4K | |
| Cisco YANG Suite provides a set of tools and plugins to learn, test, and adopt Y... | 3K | |
| Lightweight and expressive programming language similar to Python | 2K | |
| Safe, Trusted, and Fearless lossy compression with Compression Safeguards | 2K | |
| 2K | ||
| Python tools for Jaqal | 1K | |
| Ratio ESL support in Python. | 1K | |
| A tool for parsing and visualizing ontology files written in the Ontol DSL | 998 | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 822 | |
| Not Only PHP - A backwards compatible language focused on modern features and fl... | 804 | |
| Parse SQL statement into straight forward Syntax Tree. | 783 | |
| Synamic | 668 | |
| Convert raw SQL to Pypika Objects | 625 | |
| Tabletop RPG Dice rolling library | 491 | |
| a Simple Enough Markup | 471 | |
| A library for evaluating tabletop dice roll expressions | 470 | |
| Runner for the Certora Prover | 403 | |
| Runner for the Certora Prover | 375 | |
| A serverless virtual machine & language | 372 | |
| Returns a boolean by passing Okta profile data to an Okta Expression using Okta ... | 320 | |
| Runner for the Certora Prover | 281 | |
| A CMIXF-12 library | 271 | |
| Etch, an easy-to use, high-level, interpreted lang based on Python. | 248 | |
| Machine Learning for Mathematics and Logics | 209 | |
| The single instruction language - Flip a bit, then Jump | 206 | |
| Runner for the Certora Prover | 203 | |
| calculations with physical quantities | 198 | |
| Runner for the Certora Prover | 197 | |
| Runner for the Certora Prover | 191 | |
| Runner for the Certora Prover | 186 | |
| Runner for the Certora Prover | 183 | |
| The Certora Prover is the state-of-the-art security tool for automated formal ve... | 180 | |
| A lil' bud that helps you with stuff (it's a utility CLI). | 180 | |
| Runner for the Certora Prover | 151 | |
| Runner for the Certora Prover | 138 | |
| Runner for the Certora Prover | 136 | |
| Runner for the Certora Prover | 135 |
