High-performance MinHash implementation in Rust with Python bindings for efficient similarity estimation and deduplication of large datasets

Efficient Triton Kernels for LLM Training

Up or down? Maybe both?

Development repository for the Triton language and compiler

Busy Beaver deciders backed by Coq proof

The English Programming Language

White-box automation for Lean 4

A Seamless, Interactive Tactic Learner and Prover for Coq

A collection of small projects to illustrate how to write plugins for Coq

TF2 demo parsing in javascript

we dem boyz

Chief backend API server for TF2Stadium

An Extensible, Concurrent Web Framework for Rust