LLMs as Copilots for Theorem Proving in Lean
Powerful Android AI agent with tools, automation, and Linux shell
Production ready toolkit to run AI locally
Run GGUF models easily with a UI or API. One File. Zero Install.
A fast, local neural text to speech system
An Arduino/esp8266/esp32 library to directly interface with DSC