semvec/pypi-packages huggingface dataset:
hpl-specs 1.4.0
High-level Property Specification Language
License: MIT
Requires Python: >=3.8, <4
Keywords: safety,liveness,property specification,specification language,parser,parsing,ast

[![DOI](https://zenodo.org/badge/331277331.svg)](https://zenodo.org/badge/latestdoi/331277331)

# HPL - The High-Level Property Specification Language

HPL is a minimalistic specification language tailored for behavioural properties of message-based systems.
Although it might be useful in other contexts, it was designed with the message-passing system of the [Robot Operating System](https://www.ros.org/) in mind.
Since properties are message-based, the same language can be used to specify both individual nodes and full applications.

HPL was developed to be an integral part of the [HAROS framework](https://github.com/git-afsantos/haros/).
HAROS is capable of defining and extracting architectural models of ROS systems (the *ROS Computation Graph*).
Such models are, inherently, mostly concerned with the structure of the analysed system.
This language is meant to annotate the architectural models, complementing them with behavioural information.

## What Is In The Box

This repository contains a Python package, and the respective source code, to parse HPL specifications and convert them into *Abstract Syntax Trees* (AST).

## Syntax, Semantics and Use Cases

Check the [documentation](./docs).

## Installing

To install this package, make sure that you have Python 2.7 or greater.
Simply run the command:

```
pip install hpl-specs
```

## Bugs, Questions and Support

Please use the [issue tracker](https://github.com/git-afsantos/hpl-specs/issues).

## Citing

See [CITING](./CITING.md).

## Contributing

See [CONTRIBUTING](./CONTRIBUTING.md).

## Acknowledgment

Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583).
arbeitszeit 0.1.4
Track your worktime.
License: MIT
Requires Python: >=3.11,<4.0

# ⏱️ Arbeitszeit

*Track your worktime.*

## Motivation

I wrote this CLI tool to track my worktime
and make it easy to enter it in [Workday](https://www.workday.com/).

## Installation

```sh
pipx install arbeitszeit
# or
pip install --user arbeitszeit
```

## Usage

**For all time values, the app uses `24:00` format.**

### Optional: Set the storage file path

By default the app will use `$HOME/.config/arbeitszeit/arbeitszeit.txt`.

```
arbeitszeit config path path/to/your/arbeitszeit.txt
```

### Optional: Set your daily worktime

By default the app will assume 8 hours.

```sh
arbeitszeit config worktime 06:00
```

### Optional: Edit your config

You can edit your `config.yaml` with your default `$EDITOR`.

```sh
arbeitszeit config edit
```

### Record the start of your worktime

By default the app will use the current time.

```sh
arbeitszeit start
# or
arbeitszeit start 09:00
```

### Record the end of your worktime

By default the app will use the current time.

```sh
arbeitszeit stop
# or
arbeitszeit stop 17:00
```

### Edit your worktime records

You can edit your `arbeitszeit.txt` with your default `$EDITOR`.

```sh
arbeitszeit edit
```

The entries have the following format:

```txt
Day YYYY-MM-DD HH:MM HH:MM 
```

If a time value is undefined, it will show `--:--`.

### Show your worktime records

Aggregate all worktime records in an overview by week and day:

```sh
arbeitszeit log
```

The output will have the following format:

```txt
2023W46: 15:00 [-01:00]
  Thu 2023-11-16: 08:15 [+00:15]
  Fri 2023-11-17: 06:45 [-01:15]
```