13 unique repositories • 14 contributors
openghg/openghg
openghg/openghg_inversions
leanprover-community/batteries
leanprover-community/mathlib4
HelixDB/helix-db
+1 more repository
m4DL-Mathematics-for-Deep-Learning/ML4DE_hackathon
aiidateam/aiida-core
StanFromIreland/cpython
spack/spack-packages
JuliaLang/Pkg.jl