Lists (16)
Starred repositories
Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest.
A Swift package for composable Metal shaders and holographic UI effects in SwiftUI.
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
The SILE Typesetter — Simon’s Improved Layout Engine
Display paginated content in the browser and generate print books using web technology
Self-referential self-improving agents that can optimize for any computable task
MyST Enhancement Proposals (MEPs)
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
Native macOS menu bar app for realtime dictation with optional LLM polishing. Connects to any OpenAI Realtime-compatible backend — fully local on Apple Silicon with voxmlx + mlx-lm.
A fast, helpful, and open-source document parser
Memory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.
An agentic skills framework & software development methodology that works.
The batteries-included agent harness.
PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.
Unified media capture, encoding & streaming for Apple platforms — every source, every codec, zero dependencies. Pure Swift 6.2.
Swift 6 client for the Open Library API with async/await, typed models, and docs-aligned rate limiting.
MiroThinker is a deep research agent optimized for complex research and prediction tasks. Our latest models, MiroThinker-1.7, achieves 74.0 and 75.3 on the BrowseComp and BrowseComp Zh, respectively.
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…
AI Agent Assistant & development framework that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨
OpenRAG is a comprehensive, single package Retrieval-Augmented Generation platform built on Langflow, Docling, and Opensearch.
UI Package to build macOS apps for Claude code
Manage all sessions in Claude Code and Codex. Easily create new worktrees, run multiple terminals in parallel, preview edits before accepting them, make inline changes directly from diffs, and more.
The agent that grows with you
SwiftUI agent skill for Claude Code, Codex, and other AI tools.