Discover ezyang/cusec2012-victor Open Source project

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

613

git-ftp

Convolution visualizations

494

convolution-visualizer

Beautiful, interactive visualizations of logical inference

350

logitext

UrWeb

144

compact

Compact regions library for Haskell

Convert nvprof profiles into about:tracing compatible JSON files

nvprof2json

Automatic CSRF protection for PHP applications

csrf-magic

PHP

torchdbg

PyTorch centric eager mode debugger

TypeScript

thesis

Thesis

TeX

stride-visualizer

Stride visualizations

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

pl-class-public

ghc --make reimplemented with Shake

ghc-shake

Metro Maps as envisioned by Dafna Shahaf

metromaps

HTML

lr-agda

Logical relations proof in Agda

Agda

onnx-pytorch

PyTorch development for onnx

Tensors and Dynamic neural networks in Python with strong GPU acceleration

pytorch-unattached

C++

tlparse

TORCH_LOGS parser for PT2

Rust

hpd3js

Haskell heap profiling with D3.js

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

SMT-LIB-benchmarks-pytorch-shapes

SMT

backpack-examples

Backpack examples repository

eff

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

A reimplementation of GHC's runtime system in Rust

ghc-rts-rust

Rust

deepseq-magic

Deep evaluation of data structures without NFData

Coq solutions to exercises in HoTT book

HoTT-coqex

Coq

hamt

Hash Array Mapped Tries in Haskell

Count-min sketch implementation in OCaml

ocaml-cminsketch

OCaml

hsleak

A collection of space leaks in GHC Haskell

Sample project for GHC core transformation plugins

ghc-plugin-template

The Stenomatic 9000: a Steno drilling tool

stenomatic

HTML

reflex-backpack

Reflex with Backpack

Regex example with Backpack

backpack-regex-example

scheme-hamt

Hash-array mapped trie in mit-scheme

Scheme

jfp-ghc-rts

JFP article on the GHC RTS

ghc-usage

Frontend plugin to print locally used module info

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

stg-spec

Makefile

tmr-issue24

Mini-issue of The Monad Reader!

The Monad Reader: Issue 20

tmr-issue20

NF data type to statically enforce normal form

Mutation detection in Python

mutsleuth

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

hello-plugin

Pretty-print Show instances from Haskell

groom

Sensor Simulator for simulating sensor data in real time.

SensorSimulator

Java

sake-bot

Bot for transmitting Travis build information upstream

Ruby

triemap

Matching and unification on TrieMaps

Issue 22 of the Monad Reader

tmr-issue22

Query Hackage for interesting information

hackage-query

Higher-order optimization library

hoopl

Wiki for steno dictionary entries

stenowiki

Research repository for "breaking barriers"

breaking-barriers

TeX

sigc

Compare implementations with signatures, generate "implements" tables

Issue 21 of The Monad Reader

tmr-issue21

metaclass in cpython extension

cpython-metaclass

C++

automation

Shell

jpeg-raw-sync

Sync jpeg deletions to raw folder

Rust

rlimits

Support code for Haskell resource limits.

HTML files for my personal website

ezyang.com

HTML

bake

Experimental GHC API driver for Backpack

Haskell to MIT 6.005 FP pseudocode pretty-printer

haskell-mit6005

Labeling GitHub action for PyTorch issues/pull requests

labeler-github-action

ghceye

Puzzlers regarding data-dependent shapes in PT2

data-dependent-shape-puzzles

Jupyter Notebook

ghc-cafeteria

Eagerly evaluated all CAFs in your application

Delete old branches from GitHub

pdfs

github-delete-old-branches

Ruby

flavr

Mobile website for flavor matching lookups (data not included)

Gatekeeper for presigned S3 urls

s3-bouncer

Slides for Haskell Implementor's Workshop 2016

ci-experiments

CI experiments

hiw16-slides

gh-magic-keywords

magic keyword experiment

stratify

Stratifies the lambda cube into multiple levels

Artifact evaluation for PLDI'14

pldi14-rlimits-aec

Issue 23 of The Monad Reader

tmr-issue23

TeX

model-tests

Model tests for PyTorch

latency

Some latency benchmarks

some experiments using cachegrind to measure performance

cachegrind-labs

C++

dividing-the-land

Answer Set Programming solution to Dividing the Land metapuzzle

experimenting with puppeteer

vimrc

My vimrc

Vim Script

crepe