Lists (5)
Stars
A fast type checker and language server for Python
Lean 4 programming language and theorem prover
Minimal coding agent written in Rust, optimized for memory footprint and performance
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas…
OpenViking is an open-source context database designed specifically for AI Agents(such as openclaw). OpenViking unifies the management of context (memory, resources, and skills) that Agents need th…
Test your prompts, agents, and RAGs. Red teaming/pentesting/vulnerability scanning for AI. Compare performance of GPT, Claude, Gemini, DeepSeek, and more. Simple declarative configs with command li…
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
The official Python SDK for Model Context Protocol servers and clients
Build effective agents using Model Context Protocol and simple workflow patterns
Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.
An extremely fast Python package and project manager, written in Rust.
👻 Primitive and flexible state management for React
Extremely fast Query Engine for DataFrames, written in Rust
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
🚂 🦀 The one-person framework for Rust for side-projects and startups
A modern runtime for JavaScript and TypeScript.
☁️ Nextcloud server, a safe home for all your data
A very compact representation of a placeholder for an image.
A docker-powered PaaS that helps you build and manage the lifecycle of applications
🔥 single-command flamegraph profiling 🔥
Build OpenAPI-compliant REST APIs using TypeScript and Node
The home of the ClickHouse design system and component library.