🏠
Working from home
Software Engineer
- Pokhara, Nepal
-
21:09
(UTC +05:45) - https://aatish.me
- @aatish_sai
- in/aatish-sai
Highlights
Lists (3)
Sort Name ascending (A-Z)
Stars
3
stars
written in C++
Clear filter
Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
LLMs as Copilots for Theorem Proving in Lean