leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

oha

Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.

gitui

Blazing 💥 fast terminal-ui for git written in rust 🦀

zoxide

A smarter cd command. Supports all major shells.

snarkOS

A Decentralized Operating System for ZK Applications

smol

A small and fast async runtime for Rust

tools

Unified developer tools for JavaScript, TypeScript, and the web

macroquad

Cross-platform game engine in Rust.

ZLUDA

CUDA on non-NVIDIA GPUs

bevy

A refreshingly simple data-driven game engine built in Rust

OpenSK

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

krustlet

Kubernetes Rust Kubelet