semvec/pypi-packages huggingface dataset:
VolFe 1.0
VolFe
Requires Python: >=3.9

# VolFe

Welcome to VolFe! an open-source framework for calculating melt-vapour equilibria including silicate melt, carbon, hydrogen, sulfur, and noble gases.

[![](https://img.shields.io/badge/python-3.9+-blue.svg)](https://www.python.org/downloads/)
[![PyPI](https://badgen.net/pypi/v/VolFe)](https://pypi.org/project/VolFe/)
[![Build Status](https://github.com/eryhughes/VolFe/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/eryhughes/VolFe/actions/workflows/main.yml)
[![Documentation Status](https://readthedocs.org/projects/VolFe/badge/?version=latest)](https://VolFe.readthedocs.io/en/latest/?badge=latest)

Read more about the python package in the Earth ArXiv pre-print (and please cite if you use the package!):
Hughes, E.C., Liggins, P., Wieser, P. and Stolper, E.M., 2024. VolFe: an open-source Python package for calculating melt-vapor equilibria including silicate melt, carbon, hydrogen, sulfur, and noble gases. https://doi.org/10.31223/X52X3G

For more information and worked examples, see the ReadTheDocs page:
https://volfe.readthedocs.io/en/latest/

VolFe can be installed using pip from PyPI or from GitHub (see notes below about installing an editable version).

## Development

If you wish to edit VolFe on your own computer, you can install an editable version using

```
pip install -e ".[dev]"
```
from inside a virtual environment (use either venv or anaconda). This will import VolFe
in a format that allows you to run any edits you have made, and all it's requirements,
alongside useful packages for developing VolFe (pytest, sympy).

Check VolFe runs on your machine, and that any edits you make haven't broken existing code by running pytest:
```
python -m pytest tests
```
or you can use the testing frameworks that come with your IDE (e.g. [VSCode](https://code.visualstudio.com/docs/python/testing), [PyCharm](https://www.jetbrains.com/help/pycharm/testing-your-first-python-application.html)).
pyssed 0.2.0
The Mixture Adaptive Design (MAD) and extensions: Robust and precise anytime-valid causal inference in adaptive experiments
Requires Python: >=3.10

# pyssed
<a href='https://www.dmolitor.com/pyssed'><img src='docs/pyssed.png' align="right" height="160" /></a>


<!-- This document is rendered from README.qmd; Edit that file instead! -->

<!-- badges: start -->
[![Lifecycle: experimental](https://img.shields.io/badge/lifecycle-experimental-orange.svg)](https://lifecycle.r-lib.org/articles/stages.html#experimental) [![quartodoc](https://github.com/dmolitor/pyssed/actions/workflows/gh-pages.yml/badge.svg)](https://github.com/dmolitor/pyssed/actions/workflows/gh-pages.yml)
<!-- badges: end -->

The goal of pyssed is to implement the methods of [Liang and Bojinov (2024)](https://arxiv.org/abs/2311.05794) and [Molitor and Gold (2025)](https://arxiv.org/abs/2506.20523).

## Installation

pyssed can be installed from PyPI with:

``` python
pip install pyssed
```

or from GitHub with:

``` python
pip install git+https://github.com/dmolitor/pyssed
```

## Documentation

For full documentation, see [https://dmolitor.com/pyssed](https://dmolitor.com/pyssed).
solTg 0.2.2
Test generation for Solidity in Foundry format (https://github.com/foundry-rs/foundry).
Requires Python: >3.5.2

# solidity_testgen

Test generation for Solidity in Foundry format  (https://github.com/foundry-rs/foundry)

Example of Contract under Test:
```
contract C {

    uint x;

	function f(uint _x) public {}
	function g(uint _x, uint _y) public {}
	function w(uint _x) public {}


	function i(uint _x) internal {}
}
```
Expected results of Test Generation:
```
import "forge-std/Test.sol";
import "../src/contract_under_test.sol";

contract contract_under_test_Test is Test {
	C c0, c1, c2, ... cN;

	function setUp() public {
		c0 = new C(); c1 = new C(); ... cN = new C();
	}
	function test_0() public {
		c0.f();
		c0.g();
		....
		c0.w();
	}
........
    function test_n() public {
		cN.g();
		cN.w();
		....
		cN.w();
	}
}
```



### Dependencies / Setup

* [Docker](https://docs.docker.com/engine/install/)

Also don't forget to get your user permission to interact with docker:
https://stackoverflow.com/questions/48957195/how-to-fix-docker-got-permission-denied-issue

* [Solidity Compiler](https://docs.soliditylang.org/en/latest/installing-solidity.html)

* [Foundry](https://book.getfoundry.sh/getting-started/installation)

* Python3 & pip

* GenHtml (part or lcov)

After dependencies are installed, you can install the package by calling:

```
sudo pip3 install solTg
```

After this, solTg can be used from any directory, calling the command:

```
solTg -i <input file/directory with .sol files>
```

Or you can run it locally, it is needed to install all the package requirements first, by calling
```
pip install -r requirements.txt
```

[//]: # (### Architecture)

[//]: # (![img_2.png]&#40;img_2.png&#41;)

[//]: # ()
[//]: # (### Building Tests as CHCs-paths-tree)

[//]: # (![img_4.png]&#40;img_4.png&#41;)



#### run test generation for specified sol-file with Python 
`solTg -i ./src/Loop_1.sol`

You can also give specific output dir:

`solTg -i folder_path -o ../testgen_output`

If project is to be run from the repo, call:

`python3 ./solTg/RunAll.py -i <some file/dir>`


Run forge project:

#### build project
`forge build`

#### run all tests
`forge test`

#### run specified test
`forge test --match Loop*`


[//]: # (#### Report example:)

[//]: # (![img_3.png]&#40;img_3.png&#41;)

#### Generate a report:
`python3 ./scripts/ReportBuilder.py -i testgen_dir`