Stars
High-performance MinHash implementation in Rust with Python bindings for efficient similarity estimation and deduplication of large datasets
Efficient Triton Kernels for LLM Training
zygi / triton
Forked from triton-lang/tritonDevelopment repository for the Triton language and compiler
A Seamless, Interactive Tactic Learner and Prover for Coq
A collection of small projects to illustrate how to write plugins for Coq