Linux Desktop application that provides live captioning

A simple Chromium extension to ease searching papers on DBLP

Pandoc filters and an academic workflow for obsidian

Execute system commands via hotkeys or command palette in Obsidian (https://obsidian.md). Some automated events are also supported, and execution via URI links.

Pandoc filters for scientific writing

Matplotlib styles for scientific plotting

Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break remov…

Python module for polyhedral geometry

A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs

Grammarly for VS Code

Spelling, grammar and style checking on LaTeX documents

⚡ A Fast, Extensible Progress Bar for Python and CLI

Better LaTeX experience with Sublime Text

Export Zotero to a stand-alone web site

Compare two version of an arXiv preprint with a single command.

Folklore facts on probability distribution learning, testing, and whatever-ing

in progress

An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim

Karel dataset for program synthesis and program induction

This program takes out undesired fields from a biblatex file. Written to clean up Zotero biblatex exports.

Robust evasion attacks against neural network to find adversarial examples

Turn Python scripts into handouts with Markdown and figures

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Course notes for ECSE 506: Stochastic Control and Decision Theory

Animation engine for explanatory math videos

Pure Tensorflow Implementation of Super Slomo (https://arxiv.org/abs/1712.00080)

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv