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 25 2

3. sv-tutorial sv-tutorial Public

   System Verilog Tutorial

   JavaScript 7 6

4. spicenn2 spicenn2 Public

   An open analog-circuit learning competition: recognize MNIST in SPICE and compare accuracy with energy.

   Python 1 1

5. lean-surfaces lean-surfaces Public

   Prove real Python & SystemVerilog programs correct in Lean 4 — deep embeddings with differentially-tested semantics, and a spec surface where proofs read like pure Lean

   Lean 1

6. test test Public

   Test repo