Skip to content
View yangdanny97's full-sized avatar
🤡
🤡

Highlights

  • Pro

Organizations

@CornellDataScience

Block or report yangdanny97

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yangdanny97/README.md

I'm currently a software engineermicrokitchen inspector at Meta, working on Pyrefly (our next-gen typechecker for Python). Previously, I worked on developer infrastructure for WhatsApp and product infrastructure for Messenger.

I'm interested in compilers, programming languages, and data visualization, and I maintain a blog where I talk about some of those things.

Pinned Loading

  1. facebook/pyrefly facebook/pyrefly Public

    A fast type checker and language server for Python

    Rust 4.9k 213

  2. facebook/pyre-check facebook/pyre-check Public

    Performant type-checking for python.

    OCaml 7.1k 451

  3. chocopy-python-compiler chocopy-python-compiler Public

    Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.

    Python 66 6

  4. intro-to-d3 intro-to-d3 Public

    Forked from square/intro-to-d3

    Introductory tutorial for D3.js v5-v7, updated & forked from Square's Intro to D3 Tutorial

    CSS 31 2

  5. fire-emblem-chess fire-emblem-chess Public

    Fire Emblem themed pass & play browser chess game, implemented in ReScript

    ReScript 12

  6. xic xic Public archive

    Forked from Bluefire2/xic

    An optimizing compiler for the Xi and Xi++ languages

    Java 1