Taint Libraries

6 Components & Libraries

Sortby

Taint Libraries

Performant type-checking for python.

We start by creating an empty project directory and setting up a virtual environment: Next, we teach Pyre about our new project: We are now ready to run Pyre: Pyre is licensed under the MIT license.

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Static analysis of Python web applications based on theoretical foundations (Control flow graphs, fixed point, dataflow analysis) Example usage and output: Before continuing, make sure you have pytho…

GemPy is an open-source, Python-based 3-D structural geological modeling software, which allows the implicit (i.e. automatic) creation of complex geological models from interface and orientation data. It also offers support for stochastic modeling to address parameter and model uncertainties.

Welcome to the era of GemPy v3! We are thrilled to announce the release of the latest version, a product of meticulous planning, redesign, and rigorous testing. While the core essence remains intact,…

GemPy is an open-source, Python-based 3-D structural geological modeling software, which allows the implicit (i.e. automatic) creation of complex geological models from interface and orientation data. It also offers support for stochastic modeling to address parameter and model uncertainties.

Open-source, implicit 3D structural geological modeling in Python. We provide the latest release version of GemPy via PyPi package services. We highly recommend using PyPi, The following versions are…

UQpy (Uncertainty Quantification with python) is a general purpose Python toolbox for modeling uncertainty in physical and mathematical systems.

To engage in conversations about uncertainty quantification, or ask question about UQpy usage and functionality refer to the UQpy's discussions tab: UQpy (Uncertainty Quantification with python) is a…