Popular repositories Loading

1. anki-pasteOCR anki-pasteOCR Public

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

   Python 4 2

2. cad cad Public

   Cylindrical algebraic decomposition in pure Python (SymPy)

   Python 4

3. markovag markovag Public

   Exact sensitivity analysis of Markov reward processes via algebraic geometry

   Jupyter Notebook 3

4. pipip pipip Public

   Solving Boolean satisfiability problems and integer programming with Python packaging

   Python 2

5. markovml markovml Public

   Formal verification of Markov processes with learned parameters

   Jupyter Notebook 2

6. acc-estim acc-estim Public

   Code for paper "On Orderings of Probability Vectors and Unsupervised Performance Estimation".

   Python 1