mouse & keyboard sharing via LAN

Share a single keyboard and mouse between multiple computers.

An end-to-end terminal testing framework for CLI and TUI experiences

A high performance rust-powered UI layout library

Build fast web applications with Rust.

Fullstack app framework for web, desktop, and mobile.

🤖 Just a command runner

A very fast linker for Linux

An extensible, state of the art columnar file format. Formerly at @spiraldb, now an Incubation Stage project at LFAI&Data, part of the Linux Foundation.

gdb-like "trepan" debugger for zsh

Efficient and thread-safe code loader for Ruby

Hot reloading for Python

Hot Reloading and Profiling for Python

A full graphical web browser for Kitty terminal with mouse and keyboard support

Chromium running inside your terminal

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

✨ The open-source standard for blocks. From @hashintel

Control kanata virtual keys while observing frontmost app and input source on macOS to enable application and input source aware key mapping

Mouse and touchpad gestures for Hyprland, Plasma 6 Wayland

Deep learning at the speed of light.

Lean 4 programming language and theorem prover

Hierarchical Reasoning Model Official Release

An opinionated NixOS config based on DHH's Omarchy

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Developer-friendly, embedded retrieval engine for multimodal AI. Search More; Manage Less.

Bookmarklet to export the content from chatbots to a PDF or text with a single click. Supports Claude, ChatGPT, Grok and Gemini.

A performant and modular zkVM framework built for customization and extensibility.

A modular stack for zkVMs, with a focus on productivity, security and performance.