Skip to content
View plt-amy's full-sized avatar
🧊
Cubical thinker
🧊
Cubical thinker
575 followers · 48 following

Sponsors

@googleson78
@phantamanta44
Private Sponsor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Organizations

@agda @tmpim @amuletml @the1lab

Block or report plt-amy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@imyxh
imyxh

United States

@breitnw
Nick Breitling breitnw
Coder, not a programmer

Evanston, IL

@konstantinosKokos
Konstantinos Kogkalidis konstantinosKokos
@0stellensatz
Hyeon, Seung-Hyeon 0stellensatz

Tokyo, Japan

@heyvito
Vito Sartori heyvito
Computer engineer. A wolf in Unix clothing. Actually Autistic 🌻

@gympass São Paulo, Brazil

@sunvoids
sunvoids

Poland

@toby5box
Toby Thain toby5box
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@duamelxavier
Duamel duamelxavier
building things
@nwhitehead
Nathan Whitehead nwhitehead

Tacoma, WA

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@vihdzp
Violeta Hernández Palacios vihdzp
Mathematician by day, artist by night.

Guanajuato, Mexico

@tristan-f-r
Tristan F.-R. tristan-f-r
ferrets

Reed College Portland, OR

@mirvoxtm
Miguel Aguiar mirvoxtm
I like Haskell, so I try to make it easier. Creator of the Markers Markup Language. Creator of the Bern Proramming Language.

Santos, SP

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@oneofvalts
Abdullah Uyu oneofvalts
Mathematics Graduate
@forestfoxx
forestfoxx
Researching all things security. Especially interested in hardware fuzzing, Linux kernel, eBPF and DevSecOps.
@us3ph
X-Hunter us3ph
Software Engineering Student & Digital World Explorer 👨🏻‍💻

1337 coding school Morocco

@rfm0905
Raed rfm0905
Mainly FP & Rust. TypeScript/React and Python (o7 typing.Never) when convenient. 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　 Math & Chem @ CWRU
@jajaperson
James Jensen jajaperson
a maths and physics student who can code some stuff i guess

Western Australia

@lardapide
Lardapide lardapide
Semanticist

Federal University of São Carlos Brazil

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@lalomorales22
lalo adrian morales lalomorales22
sd, ca | I make software for myself

@Comedeez-AI San Diego, CA

@wendeus0
Wendeus wendeus0
Software Engineer | AI researcher | Cybersecurity | B.I.S (1/8) | Vibecoding

Rio de Janeiro

@v52129635-sudo
v52129635-sudo
@anshwad10
Ansh anshwad10

India

@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@whyvn
Julia whyvn
@KiJeong-Lim
임기정 KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.

https://sites.google.com/view/fcai-lab Seoul, Republic of Korea

@simnalamburt
Jihyeon Kim (김지현) simnalamburt
Natural Born Developer

@contentstech-com VPE, Ex @portone-io, @snucse Seoul, Republic of Korea

@Morilind
Alex Morilind
@kontheocharis
Constantine Theocharis kontheocharis
In pursuit of corectnes

University of St Andrews UK

@DeltaF1
DeltaF1 DeltaF1

Deep in The Well of Recursion

@nottherealtar
Josh Coetzer nottherealtar
๋࣭⭑ Founder of @Tars-Online-Cafe | CRM Config Owner & Fullstack Dev ๋࣭⭑

@Tars-Online-Cafe Johannesburg

@rodmarkun
Pablo Rodríguez Martín rodmarkun
Software Engineer. Builder. Crafting for a better world.

Cáceres, Spain

@pthariensflame
Laine Taffin Altman pthariensflame

Modesto, CA, USA

@vijayksingh
Vijay Singh vijayksingh
SDE-2 at PepperContent

PepperContent Mumbau

@ronaldy777
Ronaldy ronaldy777
@emma-bach
Emma Bach emma-bach
B.Sc. student in mathematics and computer science.
@exoroom
exoroom
@romefeller
Alexandre Garcia de Oliveira romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle

Formal Land - Romefeller - Fatec Rubens Lara

@danillolima
Danillo danillolima

Brasília, Brazil

@gutzuh
Miguel gutzuh
@lucianchauvin
Lucian lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3

Texas A&M University Austin/College Station

@PedrobyJoao
João Pedro PedrobyJoao
\x.x

Somewhere

@lenticularis39
Tomáš Glozar lenticularis39
I keep Linux alive on Intel Itanium processor family. I also do Linux kernel latency tracing at Red Hat and maintain the RTLA tool in the Linux kernel.

Red Hat (@RedHatOfficial) Brno

@combinatorylogic
combinatorylogic
@mariano-f-r
Mariano Francisco Rodriguez mariano-f-r
I enjoy writing code.

Chicago, Illinois

@pujidjayanto
Dedy Puji pujidjayanto
Software Developer from Indonesia.

Indonesia

@carvalhoandre
André Leite Carvalho carvalhoandre

São Paulo