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 CLI issue tracker for AI Agents

A minimal, secure Python interpreter written in Rust for use by AI

Wikipedia as a social media feed

Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Gas Town - multi-agent workspace manager

🎁 Physical computing system.

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

Minimal files + config for a PWA

A focused launcher for your desktop - native, fast, extensible

0WM Server

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.

An easy to use, easy to deploy crypto library

Plano is an AI-native proxy and data plane for agentic apps — with built-in orchestration, safety, observability, and smart LLM routing so you stay focused on your agents core logic.

A neurosymbolic perspective on LLMs

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Build type-safe finite state machines with higher-order states.

A Terminal UI Framework for Elixir Applications

Sway workspaces with style