Discover @ezyang Open Source projects

Edward Z. Yang (@ezyang)

ezyang

Stars
5,390
Global Rank 4,904 (Top 0.2 %)
Followers 3,042
Registered over 16 years ago
Most used languages

Haskell
38.9 %

Python
12.5 %

JavaScript
9.7 %

C++
4.2 %

HTML
4.2 %

TeX
4.2 %

Rust
4.2 %

Ruby
2.8 %

PHP
2.8 %

Agda 1.4 %

OCaml
1.4 %

TypeScript
1.4 %

SMT 1.4 %

UrWeb 1.4 %

Jupyter Notebook
1.4 %

Vim Script
1.4 %

Coq 1.4 %

Shell
1.4 %

Scheme
1.4 %

Java
1.4 %

Makefile 1.4 %
Location 🇺🇸 United States
Country Total Rank 2,064
Country Ranking

UrWeb 1

SMT 9

Agda 13

Coq 70

PHP
94

Haskell
119

Scheme
189

OCaml
290

TeX
430

Makefile 1,027

Python
1,215

Rust
1,994

JavaScript
3,115

HTML
3,437

TypeScript
4,195

Vim Script
4,876

C++
6,441

htmlpurifier

Standards compliant HTML filter written in PHP

ghstack

Submit stacked diffs to GitHub on the command line

git-ftp

A quick and efficient way of pushing changed files to a website via FTP

convolution-visualizer

Convolution visualizations

logitext

Beautiful, interactive visualizations of logical inference

compact

Compact regions library for Haskell

nvprof2json

Convert nvprof profiles into about:tracing compatible JSON files

torchdbg

PyTorch centric eager mode debugger

csrf-magic

Automatic CSRF protection for PHP applications

thesis

pl-class-public

Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

stride-visualizer

Stride visualizations

cusec2012-victor

Transcript of "Inventing on Principle", CUSEC 2012 given by Bret Victor

ghc-shake

ghc --make reimplemented with Shake

metromaps

Metro Maps as envisioned by Dafna Shahaf

lr-agda

Logical relations proof in Agda

onnx-pytorch

PyTorch development for onnx

pytorch-unattached

Tensors and Dynamic neural networks in Python with strong GPU acceleration

tlparse

TORCH_LOGS parser for PT2

SMT-LIB-benchmarks-pytorch-shapes

SMT-LIB benchmarks for shape computations from deep learning models in PyTorch

hpd3js

Haskell heap profiling with D3.js

backpack-examples

Backpack examples repository

eff

Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators

ghc-rts-rust

A reimplementation of GHC's runtime system in Rust

deepseq-magic

Deep evaluation of data structures without NFData

HoTT-coqex

Coq solutions to exercises in HoTT book

hamt

Hash Array Mapped Tries in Haskell

ocaml-cminsketch

Count-min sketch implementation in OCaml

hsleak

A collection of space leaks in GHC Haskell

ghc-plugin-template

Sample project for GHC core transformation plugins

stenomatic

The Stenomatic 9000: a Steno drilling tool

reflex-backpack

Reflex with Backpack

backpack-regex-example

Regex example with Backpack

scheme-hamt

Hash-array mapped trie in mit-scheme

jfp-ghc-rts

JFP article on the GHC RTS

ghc-usage

Frontend plugin to print locally used module info

stg-spec

Specification of GHC's spineless tagless G-machine and its cost semantics

tmr-issue24

Mini-issue of The Monad Reader!

tmr-issue20

The Monad Reader: Issue 20

nf

NF data type to statically enforce normal form

mutsleuth

Mutation detection in Python

hello-plugin

Hello World plugin using GHC API, intended for use with cabal/stack repl

groom

Pretty-print Show instances from Haskell

SensorSimulator

Sensor Simulator for simulating sensor data in real time.

sake-bot

Bot for transmitting Travis build information upstream

triemap

Matching and unification on TrieMaps

tmr-issue22

Issue 22 of the Monad Reader

hackage-query

Query Hackage for interesting information

hoopl

Higher-order optimization library

stenowiki

Wiki for steno dictionary entries

breaking-barriers

Research repository for "breaking barriers"

sigc

Compare implementations with signatures, generate "implements" tables

tmr-issue21

Issue 21 of The Monad Reader

cpython-metaclass

metaclass in cpython extension

automation

jpeg-raw-sync

Sync jpeg deletions to raw folder

rlimits

Support code for Haskell resource limits.

ezyang.com

HTML files for my personal website

bake

Experimental GHC API driver for Backpack

haskell-mit6005

Haskell to MIT 6.005 FP pseudocode pretty-printer

labeler-github-action

Labeling GitHub action for PyTorch issues/pull requests

ghceye

data-dependent-shape-puzzles

Puzzlers regarding data-dependent shapes in PT2

Jupyter Notebook

ghc-cafeteria

Eagerly evaluated all CAFs in your application

pdfs

github-delete-old-branches

Delete old branches from GitHub

flavr

Mobile website for flavor matching lookups (data not included)

cachegrind-labs

some experiments using cachegrind to measure performance

s3-bouncer

Gatekeeper for presigned S3 urls

ci-experiments

hiw16-slides

Slides for Haskell Implementor's Workshop 2016

gh-magic-keywords

magic keyword experiment

stratify

Stratifies the lambda cube into multiple levels

pldi14-rlimits-aec

Artifact evaluation for PLDI'14

tmr-issue23

Issue 23 of The Monad Reader

model-tests

Model tests for PyTorch

latency

Some latency benchmarks

dividing-the-land

Answer Set Programming solution to Dividing the Land metapuzzle

vimrc

crepe

experimenting with puppeteer

circleci-experiment

testing for circleci