GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Smart Expense & Habit Analyzer is a Python-based CLI application designed to help users track their daily expenses and habits in a simple and effective way. The project focuses on using core Python ...
Sparky is a modular, privacy-first voice assistant designed for the NVIDIA Jetson Orin NX. It leverages local LLMs (Ollama), faster-whisper for speech recognition, and MQTT for a decoupled, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback