Skip to content
View caotic123's full-sized avatar
74 followers · 66 following
  • UFVJM - Universidade do Vale do Jequitinhonha e Mucuri.
  • Belo Horizonte - MG
  • X @Tiagocamposfer

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report caotic123

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@thiagofelicissimo
Thiago Felicissimo thiagofelicissimo
@pronesto
Fernando Magno Quintão Pereira pronesto

Universidade Federal de Minas Gerais Belo Horizonte

@viglioni
Laura Viglioni viglioni
Bachelor of Computer Science @ University of Campinas (Brazil)

@FindHotel Belo Horizonte, Brazil

@cwgoes
Christopher Goes cwgoes

γαλαξίας κύκλος

@CircuitCoder
Liu Xiaoyi CircuitCoder
Meow~

Tsinghua University / @tuna Beijing, China

@racs4
Rheidner Achiles racs4
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@atennapel
Albert ten Napel atennapel

Netherlands

@guilhermeDTNA
Guilherme Rocha Leite guilhermeDTNA
Web Developer - JS | CSS | HTML | React JS | Tailwind | SASS | VTEX | Shopify

Funcional Health Tech Diamantina, MG, Brasil

@steinerkelvin
Kelvin Steiner steinerkelvin
computer nerd · descentralization-ist · FOSS

Brasil

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@jefersoonaf
Jeferson Ferreira jefersoonaf
🧑‍💻⚡

Brasil

@rigille
Rígille S. B. Menezes rigille
So I'm just trying to learn some things and have fun

Mixrank Vitória, Brasil

@MaisaMilena
Maisa MaisaMilena
Mobile App Developer, mostly working with iOS apps

QuintoAndar Brasília/DF, Brasil

@Henrique0896
Henrique Barroso Henrique0896
Sistemas de Informação - UFVJM

dti digital Diamantina

@ssomayyajula
Siva Somayyajula ssomayyajula

AWS

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jespercockx
Jesper Cockx jespercockx

TU Delft

@xdot2012
Douglas Sales xdot2012

Sete Lagoas, MG - Brazil

@cogumbreiro
Tiago Cogumbreiro cogumbreiro
As a CS reseacher, my goal is to advance the foundations of parallel programming, by improving the quality assurance of languages and runtimes.

UMass Boston Boston, MA, USA

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@CarsonScott
Carson Scott CarsonScott
Machine learning / AI programmer

Columbus, Ohio

@gdijkstra
Gabe Dijkstra gdijkstra
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@rsaillard
rsaillard
@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-io New York, NY, USA

@marcocastro100
Marco Aurélio Rezende marcocastro100

Goldratt Consulting South America Lagoa da Prata - MG

@stevedonovan
Steve J Donovan stevedonovan
Always been fascinated by programming languages, and know a fair number. Have a serious open source hacking habit. Currently focusing on Rust

@panoptix-za Johannesburg, South Africa

@Lysxia
Xia Li-yao Lysxia
@marcoonroad
Marco Aurélio da Silva marcoonroad
Generating Entropy by Side-Effects due Real-World interactions full of Sinergies. Labor is the only one source of Value. Knowledge and Information flow there.

Rio de Janeiro, RJ - Brasil.

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@mayconamaro
Maycon Amaro mayconamaro

UFOP Belo Horizonte

@rodrigogribeiro
Rodrigo Geraldo Ribeiro rodrigogribeiro
@joearms
joe armstrong joearms

Stockholm Sweden

@twanvl
Twan van Laarhoven twanvl

The Netherlands

@ericfinster
Eric Finster ericfinster

Paris, France

@luksamuk
Lucas Vieira luksamuk
Lisp hacker, computer mage

Brazil

@greisonsantos
Greison Santos greisonsantos
Desenvolvedor Web

@nxstep-si Diamantina-MG

@takanuva
Paulo Torrens takanuva
Shame on me, shame on me, I'm a tool and nothing more.
@mattjquinn
mattjquinn
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@eholk
Eric Holk eholk

@microsoft Fremont, CA

@graydon
Graydon Hoare graydon

Vancouver, BC

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@yamadapc
Pedro Tacla Yamada yamadapc
I like software & music https://www.linkedin.com/in/yamadapc/

Atlassian Sydney, Australia - São Paulo, Brazil

@tiensonqin
Tienson Qin tiensonqin
Maker of @logseq

@logseq

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA