LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

air-script

A domain-specific language for writing AIR constraints for STARKs

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

12mo ago

Recent commits

Latest commits.

Merge pull request #360 from detrina/main
5c1ab1aPaul Schoenfelder18mo ago
Update declarations.md
9451b3eDevkuni18mo ago
docs: add README for MASM codegen crate
0dd4501Bobbin Threadbare36mo ago
chore: add MASM backend to the list of crates in main README
ce823f9Bobbin Threadbare36mo ago
Merge pull request #175 from 0xPolygonMiden/next
266a563Bobbin Threadbare36mo ago

chore: update crate versions to v0.3

5f7411bBobbin Threadbare36mo ago

fix: mdbook compilation

f942506Bobbin Threadbare36mo ago

chore: prepare v0.3 release

cca4bb8Bobbin Threadbare36mo ago

Top contributors

Builders behind this project.