Skip to content
View T-Brick's full-sized avatar
🏳️‍⚧️
🏳️‍⚧️

Organizations

@hypefortypes @15-411 @15-150

Block or report T-Brick

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.

Content in all repositories owned by your account will be closed.
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
@rowancallahan
rowancallahan
PhD student in Biomedical Engineeering at the Center for Early Detection and Research (CEDAR) @ohsu-cedar-comp-hub

Ngo Lab Portland Oregon

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@himasaif
Himasaif himasaif
Backend Developer | Node.js • Express • TypeScript | REST APIs • Auth • Databases

helwan Cairo, Egypt

@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@smoonthsky
smoonthsky smoonthsky
robot sdv

metabitverse metabitverse

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

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

Xanadu Canada

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@gtkatakura
gtkatakura
#javascript #typescript #ruby #fp

NSX Santa Catarina - Brazil

@OtavioSC
Otávio Carmo OtavioSC
Software Engineer

Brazil

@ortolanrj
Raph ortolanrj
Software Engineer Intern - CS @ UERJ

Rio de Janeiro

@quangvdao
Quang Dao quangvdao
PhD Student at CMU. Working on high-performance, formally verified succinct zero-knowledge proof systems

Pittsburgh, PA

@omentic
JJ omentic
I like all languages.

Vancouver, BC

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@waynee95
waynee95
programmer. vim user. student

Germany

@shubhamkumar13
shubham shubhamkumar13
Projects on : https://codeberg.org/shubhamkumar13

India

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@thamugadi
aramya thamugadi
moving to https://codeberg.org/aramya
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Japan

@JamesGallicchio
James Gallicchio JamesGallicchio
"Sandbox everything now! Condone first-class functions! Advocate compilation! Typecheck!" -Divine, probably

Pittsburgh, PA

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@jacobneu
Jacob Neumann jacobneu
Postdoc at Reykjavik University, studying category theory and semantics of type theory Formerly at University of Nottingham, Carnegie Mellon University

Reykjavik, Iceland

@zaxioms0
zach zaxioms0
PhD student at CMU. Interested in Automated Reasoning and Massive Parallelism

Pittsburgh, PA

@ktbooker
Kyle Booker ktbooker
Software Engineer and Computer Scientist. CMU SCS Alum. Interested in Systems (specifically DBMSs, OSs, and Compilers) and Programming Language Theory.

Carnegie Mellon University School of Computer Science Pittsburgh, PA

@abigalekim
Abigale Kim abigalekim
PhD at UW-Madison | formerly @TileDB-Inc, @cmu-db

University of Wisconsin--Madison Madison, WI

@runmingl
Runming Li runmingl
CS @ Carnegie Mellon University

Pittsburgh

@ajprabhu09
ajprabhu09
I do stuff sometimes.

Pittsburgh, Pennsylvania

@Sparrownor1
Sachit Lumba Sparrownor1

Carnegie Mellon University San Francisco, CA

@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@yosefAlsuhaibani
Yosef yosefAlsuhaibani
Wahoo! prev @ semgrep dot dev

nyc

@Sarose550
Sam Rosenstrauch Sarose550
CMU Math and CS '24

New York, NY

@Isabel-Gan
Isabel Gan Isabel-Gan
Senior @ CMU SCS interested in programming language theory
@CoopBro
Cooper Brotherton CoopBro
BS in Computer Engineering from RHIT Codes Discord bots for fun.

Kratos

@EPiC-Inc
Labs EPiC-Inc
a nobody who sometimes does computer

The Wanderer's Library

@Jaxswat
Jaxswat Jaxswat
Hello.

United States