Popular repositories Loading

1. fewshot fewshot Public

   Python 30 2

2. codex-auto-continue codex-auto-continue Public

   Auto-continue utility for Codex + tmux

   Python 24 2

3. sv-tutorial sv-tutorial Public

   System Verilog Tutorial

   JavaScript 4 5

4. python-proof-game python-proof-game Public

   The Python Proof Game — learn to formally verify real Python programs in Lean 4, in your browser. Built on lean-surfaces.

   Lean 1

5. test test Public

   Test repo

6. document_divergence document_divergence Public

   LLM task for long context windows