Skip to content

@agda Agda Github Community

Users following agda

@isomorphisms
i isomorphisms

Antarctica

@JohnChristianD
John Christian Domingo JohnChristianD

https://www.goodnewsnetwork.org/dead-man-jolted-back-to-life-by-the-intolerable-bumps-of-indias-potholes/ Antarctica

@Passw
Passw
@TranscranialAvenue
TranscranialAvenue
@amazerisme
amazerisme
@what-social-construct
cube deity what-social-construct
@EllipticPi
Ike EllipticPi

University of Utah Salt Lake City, Utah

@mhcal
Miguel Calçado mhcal
partially ordered individual

Portugal

@prasanth-nature
Prasanth prasanth-nature
#seed: Morphology, Ontology, семіотика, Formal Methods, QFT, Cybernetics

Kappalur, Madurai, Tamil Nadu, India

@jllovet
Jonathan Llovet jllovet

Inspire Brands Baltimore, MD

@F1uctus
Ilya Nikitin F1uctus
Programming languages theory, computational linguistics and maths enthusiast. Occasionally a game maker. Amateur landscape photographer.
@silas-hw
Silas Hayes-Williams silas-hw
i like code

studying

@fxrcode
. fxrcode
OS/DB, Dist Sys, Agentic AI

The net is vast and infinite

@justicelee
justiceli justicelee
enjoy free time
@avit-io
avit-io
@ksealmalaysia41-lang
@Slayer41 ksealmalaysia41-lang
Senior security researcher

skiperztech services Malaysia

@0xA672
0xA672
Счастье для всех! ᔦ ° ꒳ ° ᔨ ̖́-

Wyoke Scott domain

@Anionix
ᅟ᠎S⁢ho͏؜Tᅠakaᅟy⁣an︎aᅠg⁡i Anionix
Mathematics,Independent Researcher,Vibe coding EveryDay.

Japan

@PradCoder
Pesara Amarasekera PradCoder
Programs. Proofs. Philosophy.

@McMasterU Guelph, ON, Canada

@Leonardo-log
Leonardo-log
@omidmeshkinghalam1371-sudo
Me6ki omidmeshkinghalam1371-sudo
IN THE NAME OF GOD

Iran, Alborz, Karaj, Golshahr

@aikoryu
Aiko Ryu aikoryu
Hello, Aiko here! Welcome to my space! I am particularly interested in type theory, array programming languages, and provers.

Here

@jesusignaciofueyogonzalez
Jesus Fueyo jesusignaciofueyogonzalez
@pfcdx
pfc pfcdx
@randyisrandom
randyisrandom
Still learning to use git!
@mberkowitz
Marc Berkowitz mberkowitz
ex BBN, TRW, Informix. founder at Radik, SQLstream.

San Francisco, Cal.

@guilhermeleste
Guilherme Leste guilhermeleste

Indiepath São Paulo, SP, Brasil

@samem26
samuel emad samem26

Cairo Egypt

@0stellensatz
Hyeon, Seung-Hyeon 0stellensatz

Tokyo, Japan

@laxil95
laxil95
@ricky136973
Runze Xue ricky136973
AD ASTRA ABYSSOSQVE

@indiana-university Bloomington, IN

@ethernetium
Nissi NassimE ethernetium
Software Developer | Full-Stack | Life Time Apprentice | New Grad | Do Androids Dream of /proc/self?

Loading... Internet, Everywhere, The Osmos

@exmacxhinanetwork
exmacxhinanetwork
@novembernovemberecho
Nassim N E novembernovemberecho

Quebec

@custardtwist
custardtwist
@00LM
LM 00LM
@openweb
Allen Long openweb
Developer

huihoo China

@elgerytme
Andrew Meier elgerytme
@lardapide
Lardapide lardapide
Semanticist

Federal University of São Carlos Brazil

@smoonthsky
smoonthsky smoonthsky
robot sdv

metabitverse metabitverse

@hejsu
suspen hejsu
A student @ TCA Lab in ISCAS

University of Chinese Academy of Sciences

@abdivasiyev
Asliddinbek Azizovich abdivasiyev
Software Engineer

@aliftechuz Uzbekistan, Tashkent

@msaw328
Maciej Sawka msaw328
https://ctftime.org/user/38259

Poland

@roife
roife roife
Interested in PL and Compiler.
@hyperpolymath
Jonathan D.A. Jewell hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.

The Open University & National Union of Journalists London, United Kingdom

@cagix
Carsten Gips cagix
@wbx474846718
nick64 wbx474846718
@AndreiDuma
AndreiDuma

Romania

@OsamaZunaim
Osama Zunaim OsamaZunaim
Trying to learn stuff, will soon get Git
@SDTEFU
SDTEFU