This is a staging site. Uploads will not persist. Testing only.

python3-pymbolic

Expression tree and symbolic manipulation library

Pymbolic is a small expression tree and symbolic manipulation library. Two things set it apart from other libraries of its kind:

cl-agnostic-lizard

best-effort portable code walker for Common Lisp

Agnostic Lizard is a portable implementation of a code walker, and in particular of the macroexpand-all function (and macro), which makes a best-effort to be correct, while not expecting much beyond what the Common Lisp standard requires.

python3-govee-ble

Manage Govee BLE devices

This Python package allows for managing Govee Bluetooth Low Energy (BLE) devices. It provides tools to interact with and control Govee BLE devices programmatically. The package supports reading data from sensors, sending commands, and integrating with other systems.

python3-hatchling

Python package build backend used by Hatch

This is the extensible, standards compliant build backend used by Hatch.

libhierarchy-builder-coq

build hierarchies of algebraic structures in Coq (runtime files)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

node-decko

useful Javascript decorators

Decorators help simplify code by replacing the noise of common patterns with declarative annotations.