schildep/verified-3d-mesh-intersection
PublicFormally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Bee AI phân tích repositoryBETA
AI đọc README và cây file để tóm tắt, gợi ý cách dùng và đánh giá repository. Mọi con số lấy từ kho Bee, không do AI ước lượng.
Chưa có bản phân tích AI cho repo này
Bee AI sẽ đọc README và cây file rồi tóm tắt bằng tiếng Việt và tiếng Anh, mất khoảng 30–60 giây.
Tối đa 5 lượt mỗi giờ cho một địa chỉ IP · ngân sách chung theo ngày.
Điểm BeeTính thuần từ số liệu trong kho Bee, không phải AI chấm: bách phân vị sao 30% · độ tươi lần push 25% · fork và watcher 15% · README, giấy phép, mô tả 20% · có bản phát hành 10%.
25/100Điểm tổng thể
- Độ phổ biến3
- Độ tươi40
- Cộng đồng13
- Tài liệu50
- Phát hành20
- Mức độ khóCó sau khi phân tích
- Phù hợp vớiCó sau khi phân tích
- Loại dự ánCó sau khi phân tích
- Giấy phépMIT
Hướng dẫn nhanh
Các bước để bắt đầu với repository này.
bash
git clone https://github.com/schildep/verified-3d-mesh-intersection.git
cd verified-3d-mesh-intersectionRepository tương tự
Cùng chủ đề trong kho Bee.
- 1
isl-org/Open3DOpen3D: A Modern Library for 3D Data Processing14.2k+41
- 2
Turfjs/turfA modular geospatial engine written in JavaScript and TypeScript10.5k+1
- 3
leanprover/lean4Lean 4 programming language and theorem prover9.8k+110
- 4
spacejam/sledthe champagne of beta embedded databases9.1k+2
- 5
zeux/meshoptimizerMesh optimization library that makes meshes smaller and faster to render8.7k+106