LLMs as Copilots for Theorem Proving in Lean
Port of OpenAI's Whisper model in C/C++
Doom-based AI research platform for reinforcement learning
Cross-platform, customizable ML solutions
Framework for building AI-powered interactive digital humans and agent
CUDA Templates for Linear Algebra Subroutines
Fast inference engine for Transformer models
C++ DataFrame for statistical, Financial, and ML analysis
High-performance neural network inference framework for mobile
C++-based high-performance parallel environment execution engine
UCCL is an efficient communication library for GPUs
Code for Cicero, an AI agent that plays the game of Diplomacy
A GPU-accelerated library containing highly optimized building blocks
kaldi-asr/kaldi is the official location of the Kaldi project
Fast LLM speculative inference server for consumer hardware
A general, three-party dependency-free, cross-platform
AWS IoT FleetWise Edge Agent
A high-performance distributed file system
Local AI file organization with categorization and rename suggestions
Utility for efficiently grouping files and folders together
Runtime extension of Proximus enabling Deployment on AMD Ryzen™ AI
Award-winning modern data processing SDK in C++20
Real-time behaviour synthesis with MuJoCo, using Predictive Control
Transformer related optimization, including BERT, GPT