LLMs as Copilots for Theorem Proving in Lean
Port of OpenAI's Whisper model in C/C++
User-friendly AI Interface
A RWKV management and startup tool, full automation, only 8MB
Fast inference engine for Transformer models
High-performance neural network inference framework for mobile
Standardized Serverless ML Inference Platform on Kubernetes
A general-purpose probabilistic programming system
Private Open AI on Kubernetes
A GPU-accelerated library containing highly optimized building blocks
Unified Model Serving Framework
An MLOps framework to package, deploy, monitor and manage models
Powering Amazon custom machine learning chips
Deep learning optimization library: makes distributed training easy
Images to inference with no labeling
Framework that is dedicated to making neural data processing
A computer vision framework to create and deploy apps in minutes
Database system for building simpler and faster AI-powered application
Run 100B+ language models at home, BitTorrent-style