Kani Rust Verifier

⚙️🦀 Build modular and scalable LLM Applications in Rust

Zero-copy deserialization framework for Rust

GitHub Action for installing development tools (mainly from GitHub Releases).

Real-time dashboard for monitoring multiple Claude Code sessions. CLI + Mobile Web UI with QR code access, terminal focus switching (iTerm2, Terminal.app, Ghostty). macOS only.

Claude Code notifications without the context switch. A minimal, always-present session manager for macOS.

Browser automation CLI for AI agents

Turso is an in-process SQL database, compatible with SQLite.

The filesystem for agents.

Next-gen compile-time-checked builder generator, named function's arguments, and more!

Data validation using Python type hints

A minimal, secure Python interpreter written in Rust for use by AI

Linux virtual machines, with a focus on running containers

A next-generation test runner for Rust.

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

Beautiful, Modern & Opinionated Linux

A Rust port of FlameGraph

Extra iterator adaptors, iterator methods, free functions, and macros.

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Truly independent web browser

Staggeringly powerful macOS desktop automation with Lua

SoftFloat release 3

Github test mirror of the Octez software. Please do not submit pull-requests here!

Compile time numbers in Rust.

Count your code, quickly.

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

Python module to modify bytecode

An extremely fast Python type checker and language server, written in Rust.

A command line progress reporting library for Rust