LLMs as Copilots for Theorem Proving in Lean
Offline speech recognition API for Android, iOS, Raspberry Pi
A fast, local neural text to speech system
Run GGUF models easily with a UI or API. One File. Zero Install.
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.