Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

DeDRM tools for ebooks

Generic extensions for tapping values in Rust.

a calculator that can handle infinite and infinitesimal numbers

A simple REPL for Lean 4, returning information about errors and sorries.

Inference code for LLaMA models

A tiling window manager for macOS based on binary space partitioning

A simple Chrome extension that adds a button to your browser toolbar which, when clicked, will export your Instapaper highlights as an HTML page (with JSON output included).

Course webpage for COMP 790, (Deep) Learning from Limited Labeled Data

Browser extension for fetching and formatting Hypothes.is annotations into markdown bullet points, ready for copying into Roam, Notion or similar apps.

Plugin that adds a 'cut' operation separate from 'delete'

Interpretability dashboard for reinforcement learners

Cython implementation of Toolz: High performance functional utilities

Python extension for Visual Studio Code

PEP8 formatter for Jupyter Notebook

RUDDER for ATARI games with delayed rewards in OpenAI Baselines package

Incremental merge for git

The Time Travel Python Debugger

Vim plugin for navigating markdown files with links

Rainbow: Combining Improvements in Deep Reinforcement Learning

Manage pudb breakpoints directly from vim

A completion plugin for Haskell, using ghc-mod

htop is an interactive text-mode process viewer for Linux. It aims to be a better 'top'. This fork adds vim-style keybindings. (htop-dev/htop should be considered upstream now)

A two-way integration between Vim and IPython 0.11+

A two-way integration between Vim and IPython 0.11+

chromium-vim fork

Improved paragraph motion

For when you're giving a presentation in half an hour, and you haven't got the time to open up keynote...