Tactic generation model in CTranslate2 format, generated by:
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
NSDT 3DConvert
Convert 30+ 3D formats online: GLTF, GLB, GBX, OBJ, DAE, IFC, STEP, STL...
UnrealSynth
Unreal engine based photo realistic synthetic data generator for YOLO.
DreamTexture.js
AI powered 3d texture generation and projection SDK for three.js.