semvec/pypi-packages huggingface dataset:
CVLDoc 1.0.1
Utility for reading CERTORA spec files, parse and export their NatSpec comments to JSON files.
Requires Python: >=3.7
Keywords: Certora CVLDoc

# CVLDoc
parse NatSpec comments from a spec file(s) and save them in a JSON file.

## usage

CVLDoc.exe [-h] [-v] [-dev] [-user] [--version]
                          input_file [input_file ...]

argument:
input_file      - the input spec file to analyze, there can be more than one
### options:
-h, --help      - display help message and exit.
-v, --verbosity - increase output verbosity
--version       - show program version and exit

The tool invoke the netspec parser and will generate a JSON file that contains all the 

# Testing
In order to test the JSON generator run simply:
    python natspec_tests.py
This will run a series of spec file as input and compare the 
resulted json with the expected json result.
Any differences will be reported to the standard outputs.

## Notes

1. Every input file will generate a JSON file, with the same name, at the same folder, different extension.
   2. If the parser or the conversion process will encounter one or more problems, the error messages will be displayed on the standard output
   3. Not all NatSpec tags and required error messages are supported in this version.
pythonspt 1.0.0b3
Simple pomodoro timer written in Python
Requires Python: >=3.5, <4
Keywords: console,timer,pomodoro,pyspt,productivity

# pyspt - python simple pomodoro timer
[![PyPI version](https://badge.fury.io/py/pythonspt.svg)](https://badge.fury.io/py/pythonspt)

pyspt is a simple terminal timer that uses the pomodoro technique.

![screenshot](https://github.com/irizwaririz/pyspt/raw/main/screenshot.png)

## Installation

```
$ pip install pythonspt
```

## Usage

```
$ pyspt -h

usage: pyspt [-h] [-p POMODORO] [-sb SHORT_BREAK] [-lb LONG_BREAK] [-lbi LONG_BREAK_INTERVAL]

A simple terminal timer that uses the pomodoro technique.

options:
  -h, --help            show this help message and exit
  -p POMODORO, --pomodoro POMODORO
                        Pomodoro duration in minutes (default: 25)
  -sb SHORT_BREAK, --short-break SHORT_BREAK
                        Short break duration in minutes (default: 5)
  -lb LONG_BREAK, --long-break LONG_BREAK
                        Long break duration in minutes (default: 15)
  -lbi LONG_BREAK_INTERVAL, --long-break-interval LONG_BREAK_INTERVAL
                        Long break interval (default: 3)
```