Lean 4 programming language and theorem prover
Open Source Computer Vision Library
OpenVINO™ Toolkit repository
Unsupervised text tokenizer for Neural Network-based text generation
ArkScript is a small, fast, functional and scripting language for C++
Tensor library for machine learning
UCCL is an efficient communication library for GPUs
The Smart Contract Programming Language
Collection of various algorithms in mathematics, machine learning
Serving system for machine learning models
Speech Note Linux app. Note taking, reading and translating
Embeddable property graph database management system
Open-source graph database, tuned for dynamic analytics environments
Make OpenStreetMap vector tiles without the stack
Doom-based AI research platform for reinforcement learning
Cross-platform, customizable ML solutions for live and streaming media
C++ DataFrame for statistical, Financial, and ML analysis
An open source SQL database designed to process time series data
Multi-Joint dynamics with Contact. A general purpose physics simulator
Open source clone of the Age of Empires II engine
A @ClickHouse fork that supports high-performance vector search
an object-oriented language with late binding
Offline speech recognition API for Android, iOS, Raspberry Pi
Machine learning algorithms for advanced analytics