Stars
A library for efficient similarity search and clustering of dense vectors.
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports comp…
Fit interpretable models. Explain blackbox machine learning.
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
An open-source implementation of the AlphaGoZero algorithm
ELF: a platform for game research with AlphaGoZero/AlphaZero reimplementation
Open source neural network chess engine with GPU acceleration and broad hardware support.
LLMs as Copilots for Theorem Proving in Lean
Procgen Benchmark: Procedurally-Generated Game-Like Gym-Environments
Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research
An algorithm that generalizes the paradigm of self-play reinforcement learning and search to imperfect-information games.
MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)
Automated reasoning based on the Laws of Intelligence naturally embedded in the human language • Open source software • Multilingual, including Chinese
Experiment involving mc-aixi vs. zpaq compressor