There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 filestorchdbg
PyTorch centric eager mode debuggercsrf-magic
Automatic CSRF protection for PHP applicationsthesis
Thesispl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languagesstride-visualizer
Stride visualizationscusec2012-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 PT2SMT-LIB-benchmarks-pytorch-shapes
SMT-LIB benchmarks for shape computations from deep learning models in PyTorchhpd3js
Haskell heap profiling with D3.jsbackpack-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 20mutsleuth
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)cachegrind-labs
some experiments using cachegrind to measure performances3-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 benchmarksdividing-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