Block or Report
Block or report ohyeat
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
alphageometry Public
Forked from google-deepmind/alphageometryPython Apache License 2.0 UpdatedJan 21, 2024 -
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedDec 17, 2023 -
-
ntptutorial Public
Forked from wellecks/ntptutorialTutorial on neural theorem proving
Jupyter Notebook MIT License UpdatedAug 21, 2023 -
TensoRF Public
Forked from apchenstu/TensoRF[ECCV 2022] Tensorial Radiance Fields, a novel approach to model and reconstruct radiance fields
Python MIT License UpdatedMar 9, 2023 -
instant-ngp Public
Forked from zymk9/instant-ngpInstant neural graphics primitives with density extraction
Cuda Other UpdatedNov 16, 2022 -
models Public
Forked from tensorflow/modelsModels and examples built with TensorFlow
Python Apache License 2.0 UpdatedSep 19, 2018 -
-