Metadata-Version: 2.4
Name: brik64
Version: 2.0.0
Summary: BRIK-64 Digital Circuitality — 64 formally verified monomers for Python
Project-URL: Homepage, https://brik64.dev
Project-URL: Repository, https://github.com/brik64/brik64-lib-python
Project-URL: Documentation, https://docs.brik64.dev
Author-email: "BRIK-64 Inc." <admin@brik64.dev>
License: Proprietary
Keywords: brik64,digital-circuitality,formal-methods,monomers,verified
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Topic :: Software Development :: Libraries
Requires-Python: >=3.10
Description-Content-Type: text/markdown

# brik64 — Digital Circuitality for Python

64 formally verified atomic operations (monomers) implementing the BRIK-64 Digital Circuitality architecture.

## Install

```bash
pip install brik64
```

## Usage

```python
from brik64 import mc, eva

# Arithmetic
result = mc.arithmetic.add8(200, 100)  # saturating: 255
q, r = mc.arithmetic.div8(17, 5)       # (3, 2)

# EVA algebra
pipeline = eva.seq(mc.arithmetic.add8, lambda x: x * 2)
```

## License

Proprietary — © 2026 BRIK-64 Inc.
