Skip to content
View Bowuigi's full-sized avatar
😁
Hello!
😁
Hello!

Block or report Bowuigi

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
@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@famaf
Facultad de Matemática, Astronomía, Física y Computación - NO OFICIAL famaf
Repositorios de las Materias de la carrera Licenciatura en Ciencias de la Computacion en FaMAF

Córdoba, Argentina

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@astump
Aaron Stump astump
I am a professor of Computer Science at Boston College.

Boston College Chestnut Hill, MA

@abuseofnotation
abuseofnotation
Discord: jencelpanic

@sofia-municipality Sofia, Bulgaria

@webyrd
William E. Byrd webyrd

University of Alabama at Birmingham Cambridge, MA

@lucillablessing
Lucilla lucillablessing
kindred spirit who makes things every once in a while.
@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@sellout
Greg Pfeil sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

independent consultant Boulder, CO, USA

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

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

Higher Order Company Rio de Janeiro, Brazil

@hughbarney
hughbarney
I was introduced to MicroEmacs 3.10 in 1990 and immediately felt it was the text editor I'd always wanted. Small Emacsen have always been a bit of an obsession.
@Slips-PC
Slips Slips-PC
I don't use this site unless i'm making bug reports.

DN Incorporated Your mom's house

@auroraanna
Anna Aurora Kitsüne auroraanna
just forks of projects hosted on github, own projects are on https://codeberg.org/annaaurora

Germany

@r1shavd
Rishav r1shavd
Life is a race, thus I’m a racist <3

India

@Calinou
Hugo Locurcio Calinou
Developer for @godotengine. Hobby open source game developer and modder.

@godotengine Troyes, France

@zyedidia
Zachary Yedidia zyedidia

Stanford University Stanford, CA

@dreamdream2020
dreamdream2020 dreamdream2020
Someone who sleeping at the daylight