lira-js (npm): Contains the Lira compiler and some ergonomic tools. Can currently only be executed in a node environment.
Keywords: lira|compiler|formal|verification|defi|decentralized|contracts|secure|future|options|trading