Official Hi3D v1.0: high-resolution 3D geometry refinement built on Sparc3D. Inference code, model weights, and documentation.
- 3d-generation
- image-to-3d
- geometry-refinement
- sparc3d
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Refinement and functional value types for Java 8+
- functional-programming
- java
- java8
- maven-central