Skip to content
View HCHogan's full-sized avatar
🌴
On vacation
🌴
On vacation
46 followers · 101 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@Kernelize @moonbit-community

Block or report HCHogan

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
@takenobu-hs
Takenobu Tani takenobu-hs
@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@xuanluoya
Aislin xuanluoya
(~UwU)~

(OWO) is me Tokyo, Japan

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@fpvandoorn
Floris van Doorn fpvandoorn

University of Bonn Bonn

@hojberg
Simon Højberg hojberg
Functional Programming, UIs, Collaboration, Food, Writing

@unisoncomputing @unisonweb Massachusetts

@PerviousFurther
PerviousFurther
@tonyfettes
Haoxiang Fei tonyfettes
Make things just work.
@onion108
27Onion Nebell onion108
Wooh~~

CNT&T Hangzhou, Zhejiang Province, China, Asia, Earth, Solar System, The milk way

@Topology2333
Topology2333
@MikanAffine
Qinghe MikanAffine
Sophomore @ XJTU. ~9 years coding experience. Programming Languages Design & Implementation enthusiast.

Xi'an Jiaotong University Xi'an, Shaanxi Province, China

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@Yuria-Shikibe
MoYanxi Yuria-Shikibe
Chinese student. Then none.

Nanjing University Of Aeronautics And Astronautics

@anqur
Anqur anqur
I make programming languages.

@Suzhou-Tongyuan Chengdu, China

@swiftlang
The Swift Programming Language swiftlang

Worldwide

@aisuneko
aisuneko icecat aisuneko
「Flow just like liquid ice」| Fledging independent developer/digital artist... or so we thought. Disoriented.

Rhodes Island, Griffin & Kryuger Mitakihara or Kamihama

@Mepy
Qihao LIAN(练 琪灏) Mepy
Nihil
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@illusory0x0
猗露 illusory0x0

China

@antonping
Anton Ping antonping
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.

Moscow State University Moscow

@sicusa
Phlamcenth Sicusa sicusa
𝐻𝑜𝓉𝒽 𝓂𝑒𝓁𝓊𝑒𝓂𝒸𝓊𝒶 𝓁𝒶𝓃’𝒶𝒾. / 愿你在此寻到光辉。

Gilatod.art 中央塔，荏苒之境

@j-mie6
Jamie Willis j-mie6

Imperial College London London, UK

@liinyun
liinyun

songjiang shanghai

@Sakura1943
sakunia Sakura1943
@iusx
˶>𖥦< iusx
Currently learning Flat Earth
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@edte
edte
https://edte.github.io/
@siduck
Sidhanth Rathod siduck
Everything I make becomes beautiful

@NvChad

@PureDarwin
PureDarwin PureDarwin
PureDarwin is a community project to make a usable, bootable, stand-alone version of Apple's open source Darwin operating system
@EHowardHill
Ethan / Nikolai Hill EHowardHill

Longview, TX

@Futarimiti
Cdrman Fu Futarimiti
@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@linrongbin16
linrongbin16 linrongbin16
Hello world, goodbye world
@gaogao-qwq
gaogao_qwq gaogao-qwq
A random npc & Linux enthusiast

People's Republic of China, Guangdong, Guangzhou

@joshpoll
Josh Pollock joshpoll
MIT CS Graduate student in @mitvis. Previously undergraduate member of @uwplse and @uwsampl.

MIT Cambridge, MA

@ClassicalMusicClub
古典文學社 ClassicalMusicClub
二进制安全社区

China

@mraleph
Slava Egorov mraleph
compiling compilers @google: uber-TL for @dart-lang programming language

@Google Aarhus, Denmark

@Cyberczy
Cyberczy Cyberczy
@aqouyang
Anqiao Ouyang aqouyang
@ahoppen
Alex Hoppen ahoppen
🍏

Apple Munich

@leanprover
Lean leanprover
Lean Prover
@mrcjkb
Marc Jakobi mrcjkb
Insanity is running the same build over and over again and getting different results.

Zurich, Switzerland

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

AWS Seattle

@xiaoshihou514
xiaoshihou xiaoshihou514
@pe200012
pe200012
Continuation Is All You Need.

Institute of Science Tokyo Japan

@NichtsHsu
Nihil NichtsHsu
OS engineer, mainly develop USB. Graduated from SCUT, China.

Shenzhen, China

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@kokic
kokic kokic
𝖈𝖆𝖓𝖙𝖆 𝖕𝖊𝖗 𝖒𝖊 𝖆𝖉𝖉𝖎𝖔

None