-
lean-kolmogorov-complexity Public
Formalization of Kolmogorov Complexity in Lean 4
Lean UpdatedDec 12, 2025 -
unsupervised-bias-detection Public
Forked from NGO-Algorithm-Audit/unsupervised-bias-detectionUnsupervised bias detection tool for binary AI classifiers. Including qualitative approach to assess quantitative disparities.
Python European Union Public License 1.2 UpdatedMay 16, 2025 -
scholar Public
Forked from elixir-nx/scholarTraditional machine learning on top of Nx
Elixir Apache License 2.0 UpdatedOct 30, 2024 -
aeon Public
Forked from aeon-toolkit/aeonA toolkit for conducting machine learning tasks with time series data
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 21, 2024 -
nx Public
Forked from elixir-nx/nxMulti-dimensional arrays (tensors) and numerical definitions for Elixir
Elixir UpdatedApr 6, 2024 -
-
exercism-website-copy Public
Forked from exercism/website-copyA repository for exercism's website's copy
HTML UpdatedMar 25, 2024 -
scikit-learn Public
Forked from scikit-learn/scikit-learnscikit-learn: machine learning in Python
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 7, 2024 -
axon Public
Forked from elixir-nx/axonNx-powered Neural Networks
Elixir Apache License 2.0 UpdatedOct 14, 2023 -
exercism-elixir Public
Forked from exercism/elixirExercism exercises in Elixir.
Elixir MIT License UpdatedApr 29, 2023 -
-
-
machine Public
Forked from i-machine-think/machineCodebase for the i-machine-think project, a modular and fully tested Pytorch implementation for seq2seq models.
Python UpdatedJan 12, 2018 -
SCAN Public
Forked from brendenlake/SCANSimple language-driven navigation tasks for studying compositional learning
Other UpdatedDec 19, 2017 -
-