ohyeat

Pinned Repositories

alphageometry
Language:Python00
instant-ngp
Instant neural graphics primitives with density extraction
Language:Cuda00
Lean4Repl
Language:Lean00
models
Models and examples built with TensorFlow
Language:Python00
nn-var-reduction
zero-variance reduction using NN
00
ntptutorial
Tutorial on neural theorem proving
Language:Jupyter Notebook00
parallel
parallel
Language:C00
repl
A simple REPL for Lean 4, returning information about errors and sorries.
Language:Lean00
TensoRF
[ECCV 2022] Tensorial Radiance Fields, a novel approach to model and reconstruct radiance fields
Language:Python00
repl
A simple REPL for Lean 4, returning information about errors and sorries.
Language:Lean5413

ohyeat's Repositories

ohyeat/alphageometry
ohyeat/repl
A simple REPL for Lean 4, returning information about errors and sorries.
ohyeat/Lean4Repl
ohyeat/ntptutorial
Tutorial on neural theorem proving
ohyeat/TensoRF
[ECCV 2022] Tensorial Radiance Fields, a novel approach to model and reconstruct radiance fields
ohyeat/instant-ngp
Instant neural graphics primitives with density extraction
ohyeat/models
Models and examples built with TensorFlow
Language:Python
ohyeat/nn-var-reduction
zero-variance reduction using NN
ohyeat/parallel
parallel
Language:C