Lib.rs

› Programming languages
#air #specification #logic #formal #language

air_main

by LambdaAlpha

1 unstable release

0.0.1 Apr 15, 2024

#15 in #formal

Download history 138/week @ 2024-04-13 7/week @ 2024-04-20

145 downloads per month

MIT/Apache

400KB
13K SLoC

The Main Library of the Air Programming Language

Dependencies

~2–2.8MB
~56K SLoC