htmlpurifier
Standards compliant HTML filter written in PHPghstack
Submit stacked diffs to GitHub on the command linegit-ftp
A quick and efficient way of pushing changed files to a website via FTPconvolution-visualizer
Convolution visualizationslogitext
Beautiful, interactive visualizations of logical inferencecompact
Compact regions library for Haskellnvprof2json
Convert nvprof profiles into about:tracing compatible JSON filescsrf-magic
Automatic CSRF protection for PHP applicationstorchdbg
PyTorch centric eager mode debuggerthesis
Thesisstride-visualizer
Stride visualizationspl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languagescusec2012-victor
Transcript of "Inventing on Principle", CUSEC 2012 given by Bret Victorghc-shake
ghc --make reimplemented with Shakemetromaps
Metro Maps as envisioned by Dafna Shahaflr-agda
Logical relations proof in Agdaonnx-pytorch
PyTorch development for onnxpytorch-unattached
Tensors and Dynamic neural networks in Python with strong GPU accelerationtlparse
TORCH_LOGS parser for PT2hpd3js
Haskell heap profiling with D3.jsSMT-LIB-benchmarks-pytorch-shapes
SMT-LIB benchmarks for shape computations from deep learning models in PyTorchbackpack-examples
Backpack examples repositoryeff
Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generatorsghc-rts-rust
A reimplementation of GHC's runtime system in Rustdeepseq-magic
Deep evaluation of data structures without NFDataHoTT-coqex
Coq solutions to exercises in HoTT bookhamt
Hash Array Mapped Tries in Haskellocaml-cminsketch
Count-min sketch implementation in OCamlhsleak
A collection of space leaks in GHC Haskellghc-plugin-template
Sample project for GHC core transformation pluginsstenomatic
The Stenomatic 9000: a Steno drilling toolreflex-backpack
Reflex with Backpackbackpack-regex-example
Regex example with Backpackscheme-hamt
Hash-array mapped trie in mit-schemejfp-ghc-rts
JFP article on the GHC RTSghc-usage
Frontend plugin to print locally used module infostg-spec
Specification of GHC's spineless tagless G-machine and its cost semanticstmr-issue24
Mini-issue of The Monad Reader!tmr-issue20
The Monad Reader: Issue 20nf
NF data type to statically enforce normal formmutsleuth
Mutation detection in Pythonhello-plugin
Hello World plugin using GHC API, intended for use with cabal/stack replgroom
Pretty-print Show instances from HaskellSensorSimulator
Sensor Simulator for simulating sensor data in real time.sake-bot
Bot for transmitting Travis build information upstreamtriemap
Matching and unification on TrieMapstmr-issue22
Issue 22 of the Monad Readerhackage-query
Query Hackage for interesting informationhoopl
Higher-order optimization librarystenowiki
Wiki for steno dictionary entriesbreaking-barriers
Research repository for "breaking barriers"sigc
Compare implementations with signatures, generate "implements" tablestmr-issue21
Issue 21 of The Monad Readercpython-metaclass
metaclass in cpython extensionautomation
jpeg-raw-sync
Sync jpeg deletions to raw folderrlimits
Support code for Haskell resource limits.ezyang.com
HTML files for my personal websitebake
Experimental GHC API driver for Backpackhaskell-mit6005
Haskell to MIT 6.005 FP pseudocode pretty-printerlabeler-github-action
Labeling GitHub action for PyTorch issues/pull requestsghceye
data-dependent-shape-puzzles
Puzzlers regarding data-dependent shapes in PT2ghc-cafeteria
Eagerly evaluated all CAFs in your applicationpdfs
github-delete-old-branches
Delete old branches from GitHubflavr
Mobile website for flavor matching lookups (data not included)s3-bouncer
Gatekeeper for presigned S3 urlsci-experiments
CI experimentshiw16-slides
Slides for Haskell Implementor's Workshop 2016gh-magic-keywords
magic keyword experimentstratify
Stratifies the lambda cube into multiple levelspldi14-rlimits-aec
Artifact evaluation for PLDI'14tmr-issue23
Issue 23 of The Monad Readermodel-tests
Model tests for PyTorchlatency
Some latency benchmarkscachegrind-labs
some experiments using cachegrind to measure performancedividing-the-land
Answer Set Programming solution to Dividing the Land metapuzzlevimrc
My vimrccrepe
experimenting with puppeteercircleci-experiment
testing for circleciLove Open Source and this site? Check out how you can help us