ezyang Goto Github PK

circleci-experiment

testing for circleci

compact

Compact regions library for Haskell

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

convolution-visualizer

Convolution visualizations

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-packaging

Debian packaging for Coq

coq-packaging-precise

cpython

The Python programming language

cpython-metaclass

metaclass in cpython extension

crawl

Dungeon Crawl: Stone Soup official repository

crepe

experimenting with puppeteer

crypten

A framework for Privacy Preserving Machine Learning

csrf-magic

Automatic CSRF protection for PHP applications

cusec2012-victor

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

deepseq-magic

Deep evaluation of data structures without NFData

deriving-perf

Benchmark deriving performance of GHC

detectron2

Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.

dividing-the-land

Answer Set Programming solution to Dividing the Land metapuzzle

dmlc-core

A common bricks library for building scalable and portable distributed machine learning.

eff

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

expander

expecttest

ezyang.com

HTML files for my personal website

fairscale

PyTorch extensions for high performance and large scale training.

fbgemm

FB (Facebook) + GEMM (General Matrix-Matrix Multiplication) - https://code.fb.com/ml-applications/fbgemm/

flask

A microframework based on Werkzeug, Jinja2 and good intentions

flavr

Mobile website for flavor matching lookups (data not included)

functorch

functorch is JAX-like composable function transforms for PyTorch.

gh-magic-keywords

magic keyword experiment

ghc

The GHC repository