Popular repositories Loading

1. pdlp pdlp Public

   PDLP algorithm for linear programming

   Python 89 6

2. agentic-pbt agentic-pbt Public

   Python 23 3

3. cad cad Public

   Cylindrical algebraic decomposition in pure Python (SymPy)

   Python 8

4. anki-pasteOCR anki-pasteOCR Public

   Addon for flashcard program Anki to paste images as text using Tesseract OCR.

   Python 6 3

5. markovml markovml Public

   Formal verification of Markov processes with learned parameters

   Jupyter Notebook 6

6. stable-marriage-lean stable-marriage-lean Public

   Formalizing the stable marriage problem and the Gale-Shapley algorithm in Lean

   Lean 4 1