Stars
A demo implementation of SwiftUI for the Web
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Style definitions for nice terminal layouts 👄
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Modern embedded framework, using Rust and async.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
Open-source observability for your GenAI or LLM application, based on OpenTelemetry
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…
🌈 React for interactive command-line apps
An open-source AI agent that brings the power of Gemini directly into your terminal.
A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
Convert PDF to markdown + JSON quickly with high accuracy
Production-ready platform for agentic workflow development.
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
aider is AI pair programming in your terminal
an editor for spoken-word audio with automatic transcription
Robust Speech Recognition via Large-Scale Weak Supervision