Skip to content
View plt-amy's full-sized avatar
🧊
Cubical thinker
🧊
Cubical thinker
561 followers · 49 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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
@us3ph
X-Hunter us3ph
Software Engineering Student & Digital World Explorer 👨🏻‍💻

1337 coding school Morocco

@rfm0905
Raed rfm0905
Type Theory, Rust & FP. Maybe some React. Stats & Math @ Case Western
@jajaperson
jame 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

@emilycodestar
Emily 💞 emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
@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
W Gabriel Silva wendeus0
Bacharel em Direito em transição de carreira. Engenheiro de Software. ADS (1/5).

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
Bachelor 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.

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

@storopoli
Jose Storopoli storopoli
"Cypherpunks write code" 🔑 0x1BD38BE8D0653A7A

@AlpenLabs localhost

@leana8959
Plume leana8959
aka Léana aka Primrose

France

@deltaPositive
kris deltaPositive
💭📝 beginner
@DisistiNao
Gabriel Saldanha DisistiNao
Science Computer Student at UFOP Computer Network Technician at CEFET-MG

Ufop Ouro Preto, MG

@siluk00
Felipe Pippi Avila siluk00
Cloud Native Golang/Elixir Developer

Santa Maria RS

@pfefar
Prince Fefar pfefar
engineering

gujarat

@klarkc
KlarkC klarkc
PureScript, Haskell and FP in general

Brazil

@ABCDoom
kuroki ABCDoom
@edgarogh
Edgar Onghena edgarogh

undefined Rennes, France

@arieljorge
Ariinto arieljorge
FullStack Developer

Twobi Brazil

@loicl
Loic Lacomme loicl

Oxford

@koalazub
Ali koalazub
Engineer that has an expert understanding in knowing nothing

Capsai Melbourne

@k0uks1
λukas k0uks1

Deutschland, Bayern, München

@p-droaraujo
P-dro p-droaraujo
Engineer | Software Developer | Machine Operator

@vempix Brazil

@oliverkwebb
Oliver Webb oliverkwebb
16 y/o hobbyist
@ThwyIgo
Thiago Pacheco Rocha ThwyIgo
I like Haskell

Brazil