Lean
Users following leanprover
Prodigy, Virtuoso, Savant, Wunderkind, Whiz, Ace, Whizz-kid, Wiz, Luminary, Maestro, Wizard, Supernova, Maverick, Phenom, Powerhouse, Trailblazer
greasebig
Work in AIGC. Familiar with Vision task.
Soumya Ranjan Behera
soumyargithub
Tech enthusiast | Curious learner
Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.
Bengaluru, India
Allan Paiz
allanpaiz
Computer Science Student at the University of South Carolina.
Columbia, South Carolina
Tetsuo Koyama
tkoyama010
AI engineer @AKARI-Inc
3D visualization library @pyvista maintainer,
@scipy-conference chairperson,
Technical Steering Committee of @numfocus photo @pyconjp
@AKARI-Inc @numfocus Japan
PreviousNext