leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Sage Mathematical Software System
sagemath
Earth, Solar System, Milky Way Galaxy, Local Group, Virgo Supercluster, Universe
Michigan Computer Graphics
MichiganCG
University of Michigan's Premier Computer Graphics Club
Olifré
XOlifreX
29 🇧🇪, I love video game reverse engineering, console emulation and graphics programming. Soft spot for anything video game preservation and Japan.
Kapellen, Belgium
Sudhanshu Pandey
sudhanshuvlog
Passionate 4x Red Hat Certified Trainer | Mentor @GFG | ML Enthusiast | Expert in DevOps, Linux, AWS, DSA & Web Dev | Proficient in Python, CPP, Flask & Flutter
Audviklabs India