uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

The hackable text editor

Quill is a modern WYSIWYG editor built for compatibility and extensibility

A modern and intuitive terminal-based text editor

An intuitive library to add plotting functionality to scikit-learn objects.

Lightweight jQuery plugin to create sortable lists and grids using native HTML5 drag and drop API.

VanillaJS sortable lists and grids using native HTML5 drag and drop API.

A UI for the Ripple payment network built using web technologies

The project is superceded by Fengari. See https://fengari.io/

An ECMAscript framework to compile and run Lua code, allowing Lua to run in a browser or in Flash

terminal.js is a dead simple JavaScript library for emulating a shell environment.

A better way to write JavaScript conditional statements and still have pretty code.

A jQuery plugin to inject Etherpad lite pads and read the content from pads

Completely avoid dangling pointers in C.

Distill submission

A system for programming formally-verified loop transformations.

Code from PLDI '23 paper "Architecture-Preserving Provable Repair of Deep Neural Networks."

Gaussian Mixture Model Implementation using Eigen Library

A library for elastic and elegant functions overloading in JavaScript

Memory-Efficient Fixpoint Computation for Abstract Interpretation

A Chrome add-on that adds themes to Product Hunt