Popular repositories Loading

1. covering-search covering-search Public

   Finite proof that C(13,6,3) = 21: 21-block upper-bound certificate and the local-case-analysis verifier ruling out every 20-block 3-cover.

   C++

2. cwbc-hybrid-search cwbc-hybrid-search Public

   Augment-and-repair hybrid search for binary constant-weight codes: new lower bounds A(26,8,11)>=2038, A(27,8,10)>=1722, A(28,8,10)>=2068, with independent verifiers.

   C

3. rojo rojo Public

   Forked from rojo-rbx/rojo

   Rojo enables Roblox developers to use professional-grade software engineering tools

   Rust

4. web-llm web-llm Public

   Forked from mlc-ai/web-llm

   High-performance In-browser LLM Inference Engine

   TypeScript

5. tinygrad tinygrad Public

   Forked from tinygrad/tinygrad

   You like pytorch? You like micrograd? You love tinygrad! ❤️

   Python

6. luau-contract-sdk luau-contract-sdk Public

   Luau contract SDK for Roblox game systems.

   Lua