semvec/pypi-packages huggingface dataset:
pyGroupedTransforms 1.0.0
Python implementation of Grouped Transforms
Requires Python: >=3.9

# pyGroupedTransforms

Fast Grouped Transformations as introduced in [Bartel, Potts, Schmischke, 2021](https://arxiv.org/abs/2010.10199) .

[![](https://github.com/NFFT/pyGroupedTransforms/actions/workflows/ci.yml/badge.svg)](https://github.com/NFFT/pyGroupedTransforms/actions/workflows/ci.yml)

`pyGroupedTransforms` provides the following fast algorithms:
nonequispaced fast transformation with exponential functions for grouped index sets based on the NFFT (non-equispaced fast Fourier transform)
nonequispaced fast transformation with cosine functions for grouped index sets based on the NFCT (non-equispaced fast cosine transform)

## Getting started

The [pyGroupedTransforms package](https://pypi.org/project/pyGroupedTransforms/) can be installed via pip:

```
pip install pyGroupedTransforms
```

Read the [documentation](https://nfft.github.io/pyGroupedTransforms/) for specific usage information.

Requirements
------------

- Python 3.8 or greater
- pyNFFT3 0.2.2 or greater
- NumPy 2.0.0 or greater
- SciPy 1.16.0 or greater
apalache-rpc-client 0.2.0
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
Requires Python: <4.0,>=3.12
Keywords: tlaplus, apalache, quint, rpc, testing

# Apalache RPC Client

Minimalistic Python client for interaction with the Apalache model checker over
JSON RPC.

This project is hosted at GitHub. See [apalache-rpc-client][].

**Why?** Because now you can write your own test harnesses and symbolic search
tools that interact with TLA<sup>+</sup> and Quint specifications. Use it with
an AI agent, and you have got superpowers!

**Minimalistic.** Connections usually require tinkering with the parameters.
This library only provides a thin wrapper around the JSON-RPC calls to the
Apalache server. Start with this library, to get the initial setup working.
Once, you have hit the limits, just fork this project and extend it to your
needs.

**Server API**. Refer to the [Apalache JSON-RPC API][] for the interaction
details.

[apalache-rpc-client]: https://github.com/konnov/apalache-rpc-client
ProyectoUT2 0.2
Juego interactivo por pantalla de una simulación de salto con pértiga, en la que puedes entrenar y competir seleccionando los atletas.
Requires Python: >=3.8

PROYECTO DE SIMULACION DE SALTO CON PERTIGA

Simulación en Python de sesiones de entrenamiento y competición de atletas de salto con pértiga.
Incluye gestión de atletas, intentos de salto, fallos, alturas progresivas y determinación automática del ganador en las competiciones.


Caracteristicas principales del programa:

    - Atleta: Tiene el nombre y la marca personal del atleta. Metodos para simular entrenamiento y competición.

    - Entrenamiento: 15 saltos, altura inicial en 4.50 metros, si haces un salto válido el listón sube 20cm, si haces un salto nulo el listón sube 5cm. Se generan saltos con alturas aleatorias entre 3.0 y 7.0 metros. Registra los saltos nulos y válidos, al terminar el entrenamiento los muestra por pantalla.

    - Competición: Seleccionas 2 atletas para que compitan entre si. Si un atleta hace 3 nulos consecutivos en la misma altura, es eliminado. Se inicia la competición en 5.00 metros, va subiendo 10cm por cada salto válido. Se generan saltos con alturas aleatorias entre 4.0 y 8.0 metros. Se actualiza la marca personal del atleta en caso de que uno mejore su marca personal. Una vez terminada la competición semuestra el podio y dice quien ha ganado la competición.

    - Menú interactivo: Hay varias opciones, entrenar un atleta, hacer una competición entre dos atletas y por último salir del programa.


Como ejecutar el programa desde la raíz del proyecto:

    Abrir la terminal y colocarse en la raíz del proyecto, una vez en la raíz se ejecuta el siguiente comando:
    
        python ProyectoUT2/main.py
netbox-contextmenus 1.4.13
Add context menu to links in NetBox

# netbox_contextmenus
Add context buttons to the links, making navigating in netbox less clicky

![nbcm1](docs/nbcm3.png)

![nbcm2](docs/nbcm4.png)

The menu items can easliy be personalised

## INSTALLATION

- install as a any regular plugin.  See  [https://docs.netbox.dev/en/stable/plugins/installation/](https://docs.netbox.dev/en/stable/plugins/installation/)
- PyPi Packagename is 'netbox-contextmenus'.
- NetBox packagename is 'netbox_contextmenus'.
- restart the netbox service

NBCM is compatible with NetBox v3 and v4.0

---
### IMPORTANT NOTE !
NBCM version <= 1.4.3 used the 'BOTTOM_BANNER' variable to inject the javascript.

As of v1.4.4, the javascript is injected using django middleware.
Make sure to remove the setting from the ConfigRevision BOTTOM_BANNER or from your configuration.py
The nbcm.js file located in /opt/netbox/netbox/netbox/scripts can be removed.

This is a preparation to create a GUI to modifiy the Contect Menu items

---

## CONFIGURATION
These settings can be customized using the PLUGINS_CONFIG variable in 'configuration.py'
```
PLUGINS_CONFIG = {
    'netbox_contextmenus': {
        'nbcmopendelay': 150
    }
}
```
| variable | default | function |
| --- | --- | --- |
| nbcmopendelay | 150 | Time in milliseconds that the opening of the contextmenu will be delayed |
robot-soccer-kit 2.4.10
Robot Soccer Kit
Requires Python: >=3.9
Keywords: robot, holonomic, omniwheel, ssl, sct, robocup, junior, soccer, standard, localized, tracking

# Robot Soccer Kit

![Robots](/docs/imgs/cover-2022.jpg)

## Presentation

* [YouTube demonstration video](https://www.youtube.com/watch?v=4NFXbaom7YQ)
* [Documentation](https://robot-soccer-kit.github.io)

## License

<a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc/2.0/88x31.png" /></a><br />This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-nc/2.0/">Creative Commons Attribution-NonCommercial 2.0 Generic License</a>.