pg-spot-ops /pg-spot-operatorPython612Stateful Postgres on cheap Spot VMsansibleawspostgresself-hosting
EngineeringSoftware /roosterizePython225Tool for suggesting lemma names in Coq verification projectscoqmachine-learningname-generationpytorch