library for nd
An implementation of Myers diff algorithm.
Query builder dinámico multi-backend (Postgres/MySQL/SQLite) inspirado en Medoo (PHP). Núcleo sin dependencias, pool async opcional.
An Auth0 authentication API that returns the access token and user info
A command-line tool and library to manage the Windows Recycle Bin
Cargo subcommand that discharges verified-anchor proof obligations via Lean.
Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.
Proof-producing proc-macros for verified-anchor (#[derive(VerifiedAccounts)], #[derive(AccountData)], #[account]).
Electronic Flight Bag library to plan and conduct a flight.
Information theory measures and entropy calculations for Rust
A declarative and extendable package manager.
A declarative and extendable package manager.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.