Skip to content
View huangjunwen's full-sized avatar
🐛
蛀米大虫
🐛
蛀米大虫

Block or report huangjunwen

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
@charmbracelet
Charm charmbracelet
We make the command line glamorous.

/dev/tty

@Visualize-ML
Iris Series 鸢尾花书 Visualize-ML
Iris Series: Math Made Easy. Code, See, Learn. Visualize math using Python. ~8,000 vector graphics. Cover Topics from arithmetic to machine learning.
@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@cicada-lang
Cicada Language cicada-lang
Let's build a bridge between writing software and doing mathematics.
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@jart
Justine Tunney jart

Google Mountain View, CA

@TheAlgorithms
The Algorithms TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language

India

@xiyuzhai
Xiyu Zhai xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.

UW Seattle, WA

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@moredure
Mykhailo Faraponov moredure
Software Engineer

DragonflyDB Belgrade, Serbia

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

Higher Order Company Rio de Janeiro, Brazil

@badu
Bogdan Dinu badu
Senior Go Language Developer

GlobalLogic Brașov, Romania

@mrholek
Łukasz Holeczek mrholek
I create open-source solutions that millions of people use every day. Creator of @coreui

@coreui Poland

@jonathanslenders
Jonathan Slenders jonathanslenders
Author of prompt_toolkit.

Cisco Belgium

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy