DeepSeek 4 Flash local inference engine for Metal
MiniMax H3 inference engine for Mac computers
Run the full 2.78-trillion-parameter Kimi K3 model
Cloud-native open source data warehouse for analytics and AI queries
A 2.78-trillion-parameter Kimi K3 running inference on a single CPU
Low-latency AI inference engine optimized for mobile devices
Run GLM-5.2 (744B MoE) on a 25GB-RAM consumer machine
A real time inference engine for temporal logical specifications
Run a 1-billion parameter LLM on a $10 board with 256MB RAM
Inference Llama 2 in one file of pure C
Llama 2 Everywhere (L2E)
Unicode XML TEI text analysis platform
AI macOS app for real-time coding interview coaching assistance
a UCI chess engine
Text-to-Speech for Basque and Spanish
mujoco-py allows using MuJoCo from Python 3
A customizable 3D platform for agent-based AI research
Text-to-Speech TTS for Basque, Spanish, Catalan, Galician and English
Multiagent simulator of road traffic in Qt/C++ and OpenStreetMap.
DarkForest, the Facebook Go engine
Experience AI ( Computer Plays with You ) !
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
The IRC's Talking Robot