Skip to content

Users following the1lab

@axb21
Anthony Bucci axb21
Computer scientist

Cambridge, MA

@shubhamkumar13
shubham shubhamkumar13
Projects on : https://codeberg.org/shubhamkumar13

India

@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@fromtheeast710
east fromtheeast710

Sydney, Australia

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@ivan
Ivan Kozik ivan
computer user, noticer, combiner, searcher, rememberer — see also @ludios & @ludiosarchive.
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@oebelus
oebelus
Just making stuff.