LLMs as Copilots for Theorem Proving in Lean
Production ready toolkit to run AI locally
Offline speech recognition API for Android, iOS, Raspberry Pi
Powerful Android AI agent with tools, automation, and Linux shell
Framework for building AI-powered interactive digital humans and agent
Run GGUF models easily with a UI or API. One File. Zero Install.
A fast, local neural text to speech system
Navigation mesh generation and pathfinding toolkit for game AI systems
An Arduino/esp8266/esp32 library to directly interface with DSC
Ant Colony Optimization algorithm for the shortest path problem.
A multi-modeling and simulation environment to study complex systems
A Realistic and Rich 3D Environment
Connecting Computer Vision to Unreal Engine
An eyewear trying simulator
role playing, fantasy, adventure game
A genetic algortihm engine that evolves blackjack basic strategy.
A virtual mirror using OpenGL and a SoftKinetic ToF camera.