Lists (5)
Starred repositories
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
A collection of TLA⁺ specifications of varying complexities.
AG-UI: the Agent-User Interaction Protocol. Bring Agents into Frontend Applications.
Marmot helps teams discover, understand, and leverage their data with powerful search and lineage visualisation tools. It's designed to make data accessible for everyone.
🚀 Local-first collaboration SDK for React, Vue, and Svelte. Batteries-included: Rich text, undo/redo, cursors, and presence.
Open Source AI Platform - AI Chat with advanced features that works with every LLM
OpenAgents - AI Agent Networks for Open Collaboration
Protocol and libraries for sending and receiving OpenTelemetry data using Apache Arrow
A modern static site generator by the Material for MkDocs team
ScalarLM - a unified training and inference stack
End-to-end LLM agent platform for Java and Clojure for building, tracing, testing, and monitoring agents with integrated storage and one-click deployment. Inspired by LangGraph/LangSmith.
KaTeX-rs is a Rust implementation of [KaTeX](https://github.com/KaTeX/KaTeX), providing fast mathematical typesetting capabilities, not limited to Javascript environments.
Your own self-hosted infra for lightweight VM sandboxes to safely execute untrusted code. CLI, API, Python SDK. ⭐ Star it if you like it! ⭐
The world’s fastest AI model gateway (450x less overhead than LiteLLM). Unified access to LLMs across endpoints (openAI, self-hosted, etc.) behind a single authentication layer - with API key gener…
MCP Aggregator, Orchestrator, Middleware, Gateway in one docker
MCP Gateway is a reverse proxy and management layer for MCP servers, enabling scalable, session-aware stateful routing and lifecycle management of MCP servers in Kubernetes environments.
The open-source RAG platform: built-in citations, deep research, 22+ file formats, partitions, MCP server, and more.
Minimal, token-efficient database MCP server for Postgres, MySQL, SQL Server, MariaDB, SQLite.
F2 is a cross-platform command-line tool for batch renaming files and directories quickly and safely. Written in Go!
Open-source platform to build and deploy AI agent workflows.
Benchmarking Memcache, Redis, Valkey, Dragonfly, and Garnet caching software.
⚖️ A multi-agent consensus ranking system to derive optimal weights through pairwise comparisons
🔐 Firewall Your Data, Control Agents. Prevent agent data exfiltration. Gain visibility into AI's interactions with your data / systems of record / existing software. https://discord.gg/tXjATaKgTV