Stars
Lean theorem proving interface which feels like pen-and-paper proofs.
An alignment auditing agent capable of quickly exploring alignment hypothesis
Helper script to grab GLB models for public 3D scans from the MET
A secure Python sandbox, written in Rust, for code written by AI.
NetBird securely connects people, machines and AI agents across any network with one identity-based Zero Trust platform. Powered by peer-to-peer WireGuard®
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Open-source and installable PWA terminal powered by WebAssembly, WAPM, and Wasmer-JS 🖥
Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。
Self-hostable link database and RSS reader
A focused launcher for your desktop - native, fast, extensible
GDAL is an open source MIT licensed translator library for raster and vector geospatial data formats.
Virt-v2v converts guests from foreign hypervisors to run on KVM
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface. The fastest local inference engine in the world.
An easy to use, easy to deploy crypto library
Plano is an AI-native proxy server and data plane for agentic apps. Smart LLM routing, observability, agent orchestration, and guardrails so you stay focused on your agents core logic.
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Build type-safe finite state machines with higher-order states.