Pinned Loading

1. pythonDEA pythonDEA Public

   Focused Python library for slack-based DEA, undesirable outputs, environmental frontiers, and panel productivity analysis.

   Python 1

2. gaoLEAN gaoLEAN Public

   Lean 4 formalization and audit ledger for Gao-type zero-sum and generalized dihedral results

   Lean 1

3. proofrelay-template proofrelay-template Public template

   Evidence-first GitHub template for auditable human-AI research collaboration

   Python 1

4. EULER EULER Public

   Public demonstration and reference implementation of the EULER mathematical research workbench

   Python

5. euler-combinatorics-conjecture-cases euler-combinatorics-conjecture-cases Public

   Growing public index of curated EULER mathematical research outcomes

   Python 1