Pinned Loading

1. open-atp open-atp Public

   OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)

   Python 30 2

2. flare flare Public

   Official implementation of "FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving"

   Python 11 1

3. engri-1101/gilp engri-1101/gilp Public

   A Python package for visualizing the geometry of linear programs.

   Python 64 9

4. dmtools dmtools Public

   A Python package providing low-level tools for working with digital media programmatically.

   Python 1 1

5. umphbase umphbase Public

   Deadbase inspired archive of Umphrey's McGee setlists

   Jupyter Notebook 1 2

6. artwork artwork Public

   Archive of my personal artwork.

   Python 2