Metadata-Version: 2.4
Name: osmol
Version: 0.1.0
Summary: Osmol: a declarative equilibrium language. There is no send.
License: MIT
Project-URL: Homepage, https://osmol.dev
Project-URL: Spec, https://github.com/osmol-lang/spec
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Dynamic: license-file

<p align="center"><img src="https://raw.githubusercontent.com/osmol-lang/spec/main/brand/osmol-lockup.svg" width="420" alt="osmol"></p>

# Osmol

A declarative equilibrium language. **There is no send.**

- **Spec:** https://github.com/osmol-lang/spec
- **Try it:** `python3 osmol.py dinner.osmol --resolve "raj:venue(dinner)=verde"`
- **Watch spam die at parse time:** `python3 osmol.py spam.osmol`
- **The proof:** `osmol_convergence.v` — Theorem 1 (Convergence), machine-checked in Coq, zero axioms. Every mesh settles.

Licensed MIT. Governed at https://github.com/osmol-lang/rfcs
