Popular repositories Loading

1. cad cad Public

   Cylindrical algebraic decomposition in pure Python (SymPy)

   Python 8

2. anki-pasteOCR anki-pasteOCR Public

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

   Python 5 3

3. markovml markovml Public

   Formal verification of Markov processes with learned parameters

   Jupyter Notebook 5

4. markovag markovag Public

   Exact sensitivity analysis of Markov reward processes via algebraic geometry

   Jupyter Notebook 3

5. pipip pipip Public

   Solving Boolean satisfiability problems and integer programming with Python packaging

   Python 2

6. agentic-pbt agentic-pbt Public

   Python 2