GitHub Stats Main (potentially lifelong) Project's Status Ataraxia's development is on hold (middle stage). CFD's development is on hold (early stage). LemmaSAT's development is on hold (early stage). Last Edited on: 12/4/2026