udata by opendatateam

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.

Self-hosted OSINT platform. Point it at a domain, IP, email, phone or username and 26 modules run in parallel: WHOIS, DNS, threat intel, breaches, username search. One dashboard, an exposure score, an entity graph, HTML and PDF reports. Maintained by NovaCode37 on GitHub, where it has earned 241 stars from the community.