haoxins
I'm working on machine learning engineering, data engineering, graph computing, and so on.
ChinaShanghai
haoxins's Stars
FiloSottile/age
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
tracel-ai/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
huggingface/lerobot
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
leanprover/lean4
Lean 4 programming language and theorem prover
djc/instant-distance
Fast approximate nearest neighbor searching in Rust, based on HNSW index