semvec/pypi-packages huggingface dataset:
sdark 0.0.2
Shadowdark tools.
Requires Python: >=3.13
Keywords: Shadowdark, game, rpg

# sdark

[Shadowdark] tools.

[![builds.sr.ht status][builds-badge]][builds]
[![ndice on PyPI][pypi-badge]][pypi]

[Shadowdark]: https://www.thearcanelibrary.com/collections/shadowdark-core-rules
[builds-badge]: https://builds.sr.ht/~donmcc/sdark.svg
[builds]: https://builds.sr.ht/~donmcc/sdark
[pypi-badge]: https://img.shields.io/pypi/v/sdark
[pypi]: https://pypi.org/project/sdark
adkx 0.1.0
Extensions and utilities for Google ADK
Requires Python: >=3.11
Keywords: adk, agent, ai, llm

# adkx

[![PyPI version](https://badge.fury.io/py/adkx.svg)](https://badge.fury.io/py/adkx)
[![Python Versions](https://img.shields.io/pypi/pyversions/adkx.svg)](https://pypi.org/project/adkx/)
[![PyPI status](https://img.shields.io/pypi/status/adkx.svg)](https://pypi.org/project/adkx/)
[![License](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](https://opensource.org/licenses/Apache-2.0)
[![Tests](https://github.com/Jacksunwei/adkx-python/actions/workflows/test.yml/badge.svg)](https://github.com/Jacksunwei/adkx-python/actions/workflows/test.yml)
[![Lint](https://github.com/Jacksunwei/adkx-python/actions/workflows/lint.yml/badge.svg)](https://github.com/Jacksunwei/adkx-python/actions/workflows/lint.yml)
[![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit)](https://github.com/pre-commit/pre-commit)

**Extensions for Google ADK**

This package provides extensions and utilities built on top of the [Agent Development Kit (ADK)](https://github.com/google/adk-python).

## Status

🚧 **Early Development** - APIs are subject to change

## Installation

```bash
pip install adkx
```

## Usage

Documentation and examples coming soon.

## Feedback

- 💬 [GitHub Discussions](https://github.com/Jacksunwei/adkx-python/discussions) - Questions and ideas
- 🐛 [GitHub Issues](https://github.com/Jacksunwei/adkx-python/issues) - Bug reports
- 📧 Direct feedback: jacksunwei@gmail.com

## License

Apache 2.0 - See [LICENSE](LICENSE)
fvm-formal 1.0.0rc1
A Formal Verification Methodology for ASIC and FPGA designs
Requires Python: >=3.9

# FVM

FVM is the first publicly available, general-purpose, open-source Formal
Verification Methodology for VHDL designs.

## Features

* Defined methodology with detailed steps.
* A helper tool that helps writing formal properties (`drom2psl`).
* A build and test framework that acts as an interface to the software tools.
* Thorough documentation, examples and training materials.

## Documentation

This README.md is intentionally short. Please see the documentation at
[https://fvm.us.es](https://fvm.us.es), where you will find installation
instructions, a getting started section, an introduction to Formal
Verification, an introduction to FVM, example designs that have been formally
verified with FVM, techniques to reduce proof complexity, and more!

## Funding

The FVM has been funded by the European Space Agency, through its Open Space
Innovation Platform (OSIP), specifically through the activity [Lowering the
adoption barriers for Formal Verification of ASIC and FPGA designs in the Space
sector](https://activities.esa.int/4000144681). See the Acknowledgment section
of the documentation for more information.