🌊 Online machine learning in Python
Awesome Incremental Learning
Build, train, optimize, and run computer vision models locally, from raw images to live inference. Open source, optimized for Intel XPU (CPU-only and CUDA also supported).
The efficient SMT-based context-bounded model checker (ESBMC)