PyPI page
Home page
Author:
Mosa Creates LLC
License:
MIT
Summary:
EML language and compiler for verified mathematical computation across 36 targets: software, GPU shaders, hardware (FPGA/ASIC, SPICE, KiCad, and JLCPCB), formal verification, and safety-critical systems.
Latest version:
0.13.0
Required dependencies:
cryptography
|
eml-cost
Optional dependencies:
lsprotocol
|
mypy
|
pygls
|
pytest
|
pytest-cov
|
pytest-xdist
|
ruff
Downloads last day:
2
Downloads last week:
11
Downloads last month:
148