Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

🦀 Small exercises to get you used to reading and writing Rust code!

A simple, fast and user-friendly alternative to 'find'

Anki is a smart spaced repetition flashcard program

Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.

Open-source Agent Operating System

A Rust compiler front-end for IDEs

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

OpenShell is the safe, private runtime for autonomous AI agents.

Kani Rust Verifier

Verified Rust for low-level systems code

A toy web rendering engine

Runtime for executing procedural macros as WebAssembly

Production Quality contracts under open source licenses

Library to analyze and collect metrics on source code

solana raydium sniper/ pumpfun sniper, Shred stream, pump fun, raydium cpmm, launchpad, pumpswap, photon💯. solana copy sniper trading bot, raydium bundler, pumpfun bundler, copy trading bot, raydiu…

Tendermint KMS: Key Management System for Tendermint Validators

Verifying the Rust standard library

This is a solidity implementation of IBC v2.

Terra bindings for CosmWasm

Rust <-> Terrad API via LCD service

Drop-in Acceleration of SQL/PromQL queries

Velo: Verifying maximum link loads in a changing world