Stars
Verus specifications and proofs for Erdos Graphs
Explore the academic graph of Erdos numbers and co-authorship lineage.
TensorZero is an open-source LLMOps platform that unifies an LLM gateway, observability, evaluation, optimization, and experimentation.
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
csp is a high performance reactive stream processing library, written in C++ and Python
SGLang is a high-performance serving framework for large language models and multimodal models.
Model Manager is a Python package that simplifies the process of deploying an open source AI model to your own cloud.
Titan Core - Snowflake infrastructure-as-code. Provision environments, automate deploys, CI/CD. Manage RBAC, users, roles, and data access. Declarative Python Resource API. Change Management tool f…
Utils for Unsloth https://github.com/unslothai/unsloth
Unsloth Studio is a web UI for training and running open models like Qwen, DeepSeek, gpt-oss and Gemma locally.
The ultimate space for work and life — to find, build, and collaborate with agent teammates that grow with you. We are taking agent harness to the next level — enabling multi-agent collaboration, e…
🚀✨ Help beginners to contribute to open source projects
Open-source observability for your GenAI or LLM application, based on OpenTelemetry