A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
A secure embedded operating system for microcontrollers
View disk space usage and delete unwanted data, fast.
- disk
- space-use
- cleaner
- terminal-based
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
:stars: Manage your shell commands.
A very fast, portable and hackable fuzzy finder.
The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL
Local voice dictation for mac, windows and linux
A fast Rust safety hook that blocks destructive shell, git, and filesystem commands before AI coding agents run them. 50+ security packs (databases, Kubernetes, Docker, cloud, Terraform), heredoc/inline-script scanning, CI scan mode, and explain mode; works with Claude Code, Codex, Gemini, Copilot, Cursor, and more.
Use an iPhone, iPad, or spare Mac as a true second display for your Mac without restrictions.
self-hosted, distributed Durable Objects
Make your JSON data collaborative and version-controlled with CRDTs
HelixDB is an OLTP graph database with native vector and full-text search built in Rust on Object Storage.
Window handling library in pure Rust
Macro is a unified workspace for teams: email, chat, docs, tasks, agents, calls, and CRM — @-linked together with shared AI memory.
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️
- css
- styled-system
- typescript
- utility-classes
A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.
A modern replacement for ps written in Rust
A fast, AI-friendly Mac terminal.
A modern Python application packaging and distribution tool
Translated🚀 QQ chat history and sticker export tool | Automatically extracts images/text/image messages, supports TXT/JSON export, efficient backup, supports NT QQ
A modern static site generator by the Material for MkDocs team
Desktop GUI Framework
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.