📚 Formalize Kakeya sets in finite fields with Lean 4, establishing lower bounds on their size and advancing mathematical understanding in a structured way.

🧠 Monitor web app performance and detect anomalies with AI-driven insights, capturing key events and generating detailed incident reports.

🤖 Build engaging AI chat experiences with Ultralytics LLM, a lightweight JavaScript client for web applications, delivered via jsDelivr with zero dependencies.

A comprehensive toolkit for deploying production-ready Generative AI infrastructure on Amazon EKS. Includes pre-configured components for: 🚀 AI Gateway (LiteLLM) 🤖 LLM Serving (vLLM, SGLang, Ollama) 📊 Vector Databases, 🔍 Embedding Models (TEI) 📈 Observability (Langfuse, Phoenix) etc. Fast-track your GenAI deployment with Kubernetes

Streamline your workflow with Lynkr, a CLI tool that acts as an HTTP proxy for efficient code interactions using Claude Code CLI.

Landscape of technologies and concepts for DevOps and its related fields, with their history; A mirror of https://gitlab.com/jimyoshida/dx-devops-landscape

Automatic Langfuse tracking for Claude Code

An MCP (Model Context Protocol) server that enables LLMs like Claude Desktop to perform web searches. Supports multiple providers (Google, Brave, Tavily) to give AI agents real-time access to the internet. Connect your LLMs to the web. An MCP server implementation for real-time web search capabilities.

A comprehensive set of LLM benchmark scores and provider prices. (deprecated, read more in README)

Demo for the project Earground. RAG-powered AIS/AES analysis tool.

A full-stack tool to reduce bias among employees in financial services

Documentation for Promptly platform

This plugin for connect to AI/ML LLM models by API

Official NodeJS library for monitoring LLM Applications with Doku

UI for RagEval https://github.com/sundi133/rag-eval

Elevate your fashion shopping experience with the Conversational Fashion Outfit Generator – a cutting-edge addition to the Flipkart ecosystem. Seamlessly integrated into the platform, our AI-powered system redefines the way you discover, create, and personalize fashion outfits.

⚡️ Transform AI/ML operations: Transparency, Control and Cost Optimization. ⚡️

Web extension that embeds LLMs in your browser to power AI in web apps

JavaScript client library for managing your LLM data in one place