Lib.rs

› Users #air #specification-language #logic #solver

LambdaAlpha

lambda

Joined crates-io 2 years ago. Joined GitHub 8 years ago.

GitHub
crates.io
Home (y9lgeobn5p.feishu.cn)
Maintainer dashboard

LambdaAlpha created 7 crates

airlang_bin

Sole owner since Apr 2023. Updated 7 hours ago.
airlang_ext

Sole owner since Dec 2023. Updated 7 hours ago.
airlang

Sole owner since Aug 2022. Updated 7 hours ago.
air_main

Sole owner since Apr 2024. Last updated 6 months ago.
rt-own

Sole owner since Mar 2024. Last updated 7 months ago.
airagi-bin

Sole owner since Jan 2024. Last updated 10 months ago.
airagi

Sole owner since Jan 2024. Last updated 10 months ago.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.