Pinned Loading

1. opentau opentau Public

   Using Large Language Models for Gradual Type Inference

   Rust 92 8

2. leetcode-hard-gym leetcode-hard-gym Public

   A hard gym for programming

   Python 126 15

3. WeeklyReadingsArchive WeeklyReadingsArchive Public

   Papers read during our weekly reading group

   9

4. rusty-llms rusty-llms Public

   A Rust library for interfacing with transformers and vLLM APIs

   Rust 1