academic-file-converter by HugoBlox

Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website. Maintained by sthamann on GitHub, where it has earned 472 stars from the community.

Integrate Next.js into your Django project. Maintained by QueraTeam on GitHub, where it has earned 400 stars from the community.

Open-source GEO ranking and generative engine optimization platform. Maintained by yaojingang on GitHub, where it has earned 455 stars from the community.