Pinned Loading

1. sql-coach sql-coach Public

   LeetCode-like SQL coach with local AI tutoring and problem set generation

   TypeScript

2. dsa-coach dsa-coach Public

   Local-first DSA interview prep course with Python exercises and local AI coaching

   TypeScript

3. sigma-cli sigma-cli Public

   Modern command-line interface for Sigma Computing REST API

   Python

4. ollama-models ollama-models Public

   Command-line tool for browsing the official Ollama library over HTTP

   Go

5. push-it-real-good push-it-real-good Public

   A git hook that plays Salt-N-Pepa's "Push It" when you push! (for @rsc3)

   Shell 1

6. jane-street-dormant-model jane-street-dormant-model Public

   Interpretability research toward the Jane Street / Dwarkesh LLM challenge

   HTML